// Copyright (C) 1988-1994 Sun Microsystems, Inc. 2550 Garcia Avenue
// Mountain View, California  94043 All rights reserved.
//
// Any person is hereby authorized to download, copy, use, create bug fixes,
// and distribute, subject to the following conditions:
//
// 	1.  the software may not be redistributed for a fee except as
// 	    reasonable to cover media costs;
// 	2.  any copy of the software must include this notice, as well as
// 	    any other embedded copyright notices; and
// 	3.  any distribution of this software or derivative works thereof
// 	    must comply with all applicable U.S. export control laws.
//
// THE SOFTWARE IS MADE AVAILABLE "AS IS" AND WITHOUT EXPRESS OR IMPLIED
// WARRANTY OF ANY KIND, INCLUDING BUT NOT LIMITED TO THE IMPLIED
// WARRANTIES OF DESIGN, MERCHANTIBILITY, FITNESS FOR A PARTICULAR
// PURPOSE, NON-INFRINGEMENT, PERFORMANCE OR CONFORMANCE TO
// SPECIFICATIONS.
//
// BY DOWNLOADING AND/OR USING THIS SOFTWARE, THE USER WAIVES ALL CLAIMS
// AGAINST SUN MICROSYSTEMS, INC. AND ITS AFFILIATED COMPANIES IN ANY
// JURISDICTION, INCLUDING BUT NOT LIMITED TO CLAIMS FOR DAMAGES OR
// EQUITABLE RELIEF BASED ON LOSS OF DATA, AND SPECIFICALLY WAIVES EVEN
// UNKNOWN OR UNANTICIPATED CLAIMS OR LOSSES, PRESENT AND FUTURE.
//
// IN NO EVENT WILL SUN MICROSYSTEMS, INC. OR ANY OF ITS AFFILIATED
// COMPANIES BE LIABLE FOR ANY LOST REVENUE OR PROFITS OR OTHER SPECIAL,
// INDIRECT AND CONSEQUENTIAL DAMAGES, EVEN IF IT HAS BEEN ADVISED OF THE
// POSSIBILITY OF SUCH DAMAGES.
//
// This file is provided with no support and without any obligation on the
// part of Sun Microsystems, Inc. ("Sun") or any of its affiliated
// companies to assist in its use, correction, modification or
// enhancement.  Nevertheless, and without creating any obligation on its
// part, Sun welcomes your comments concerning the software and requests
// that they be sent to fdlibm-comments@sunpro.sun.com.
// fmodd(x,x) = 0
#ifdef UCB_FMOD_PART_1
T(RN,               0x1p-1022,               0x1p-1022,                  0x0p+0,          0x0p+0, 0)
T(RN,               0x1p-1022,              -0x1p-1022,                  0x0p+0,          0x0p+0, 0)
T(RN,              -0x1p-1022,               0x1p-1022,                 -0x0p+0,          0x0p+0, 0)
T(RN,              -0x1p-1022,              -0x1p-1022,                 -0x0p+0,          0x0p+0, 0)
T(RN, 0x1.fffffffffffffp+1023, 0x1.fffffffffffffp+1023,                  0x0p+0,          0x0p+0, 0)
T(RN, 0x1.fffffffffffffp+1023,-0x1.fffffffffffffp+1023,                  0x0p+0,          0x0p+0, 0)
T(RN,-0x1.fffffffffffffp+1023, 0x1.fffffffffffffp+1023,                 -0x0p+0,          0x0p+0, 0)
T(RN,-0x1.fffffffffffffp+1023,-0x1.fffffffffffffp+1023,                 -0x0p+0,          0x0p+0, 0)
T(RZ,               0x1p-1022,               0x1p-1022,                  0x0p+0,          0x0p+0, 0)
T(RZ,               0x1p-1022,              -0x1p-1022,                  0x0p+0,          0x0p+0, 0)
T(RU,              -0x1p-1022,               0x1p-1022,                 -0x0p+0,          0x0p+0, 0)
T(RU,              -0x1p-1022,              -0x1p-1022,                 -0x0p+0,          0x0p+0, 0)
T(RD, 0x1.fffffffffffffp+1023, 0x1.fffffffffffffp+1023,                  0x0p+0,          0x0p+0, 0)
T(RD, 0x1.fffffffffffffp+1023,-0x1.fffffffffffffp+1023,                  0x0p+0,          0x0p+0, 0)
T(RZ,-0x1.fffffffffffffp+1023, 0x1.fffffffffffffp+1023,                 -0x0p+0,          0x0p+0, 0)
T(RZ,-0x1.fffffffffffffp+1023,-0x1.fffffffffffffp+1023,                 -0x0p+0,          0x0p+0, 0)
// fmodd(0,y)=0 for all y except nan,0
T(RN,                  0x0p+0,               0x1p-1022,                  0x0p+0,          0x0p+0, 0)
T(RN,                  0x0p+0, 0x1.fffffffffffffp+1023,                  0x0p+0,          0x0p+0, 0)
T(RN,                  0x0p+0,              -0x1p-1022,                  0x0p+0,          0x0p+0, 0)
T(RN,                  0x0p+0,-0x1.fffffffffffffp+1023,                  0x0p+0,          0x0p+0, 0)
T(RN,                 -0x0p+0,               0x1p-1022,                 -0x0p+0,          0x0p+0, 0)
T(RN,                 -0x0p+0, 0x1.fffffffffffffp+1023,                 -0x0p+0,          0x0p+0, 0)
T(RN,                 -0x0p+0,              -0x1p-1022,                 -0x0p+0,          0x0p+0, 0)
T(RN,                 -0x0p+0,-0x1.fffffffffffffp+1023,                 -0x0p+0,          0x0p+0, 0)
T(RU,                  0x0p+0,               0x1p-1022,                  0x0p+0,          0x0p+0, 0)
T(RU,                  0x0p+0, 0x1.fffffffffffffp+1023,                  0x0p+0,          0x0p+0, 0)
T(RD,                  0x0p+0,              -0x1p-1022,                  0x0p+0,          0x0p+0, 0)
T(RD,                  0x0p+0,-0x1.fffffffffffffp+1023,                  0x0p+0,          0x0p+0, 0)
T(RZ,                 -0x0p+0,               0x1p-1022,                 -0x0p+0,          0x0p+0, 0)
T(RZ,                 -0x0p+0, 0x1.fffffffffffffp+1023,                 -0x0p+0,          0x0p+0, 0)
T(RU,                 -0x0p+0,              -0x1p-1022,                 -0x0p+0,          0x0p+0, 0)
T(RU,                 -0x0p+0,-0x1.fffffffffffffp+1023,                 -0x0p+0,          0x0p+0, 0)
// fmodd(min,max)=min
T(RN,               0x1p-1022, 0x1.fffffffffffffp+1023,               0x1p-1022,          0x0p+0, 0)
T(RN,               0x1p-1022,-0x1.fffffffffffffp+1023,               0x1p-1022,          0x0p+0, 0)
T(RN,              -0x1p-1022, 0x1.fffffffffffffp+1023,              -0x1p-1022,          0x0p+0, 0)
T(RN,              -0x1p-1022,-0x1.fffffffffffffp+1023,              -0x1p-1022,          0x0p+0, 0)
T(RD,               0x1p-1022, 0x1.fffffffffffffp+1023,               0x1p-1022,          0x0p+0, 0)
T(RZ,               0x1p-1022,-0x1.fffffffffffffp+1023,               0x1p-1022,          0x0p+0, 0)
T(RU,              -0x1p-1022, 0x1.fffffffffffffp+1023,              -0x1p-1022,          0x0p+0, 0)
T(RD,              -0x1p-1022,-0x1.fffffffffffffp+1023,              -0x1p-1022,          0x0p+0, 0)
// fmodd(max,min)= 0
T(RN, 0x1.fffffffffffffp+1023,               0x1p-1022,                  0x0p+0,          0x0p+0, 0)
T(RN,-0x1.fffffffffffffp+1023,               0x1p-1022,                 -0x0p+0,          0x0p+0, 0)
T(RN, 0x1.fffffffffffffp+1023,              -0x1p-1022,                  0x0p+0,          0x0p+0, 0)
T(RN,-0x1.fffffffffffffp+1023,              -0x1p-1022,                 -0x0p+0,          0x0p+0, 0)
// fmodd(max,max-ulp)= ulp
T(RN, 0x1.fffffffffffffp+1023, 0x1.ffffffffffffep+1023,                0x1p+971,          0x0p+0, 0)
T(RN,-0x1.fffffffffffffp+1023, 0x1.ffffffffffffep+1023,               -0x1p+971,          0x0p+0, 0)
// fmodd(max,max/2+ulp)= max/2-ulp
T(RN, 0x1.fffffffffffffp+1023,              -0x1p+1023, 0x1.ffffffffffffep+1022,          0x0p+0, 0)
T(RN,-0x1.fffffffffffffp+1023,              -0x1p+1023,-0x1.ffffffffffffep+1022,          0x0p+0, 0)
// fmodd(max,max/2)= 0
T(RN, 0x1.fffffffffffffp+1023, 0x1.fffffffffffffp+1022,                  0x0p+0,          0x0p+0, 0)
T(RN,-0x1.fffffffffffffp+1023, 0x1.fffffffffffffp+1022,                 -0x0p+0,          0x0p+0, 0)
// fmodd(max,max/2-ulp)= 2ulp
T(RN, 0x1.fffffffffffffp+1023,-0x1.ffffffffffffep+1022,                0x1p+971,          0x0p+0, 0)
T(RN,-0x1.fffffffffffffp+1023,-0x1.ffffffffffffep+1022,               -0x1p+971,          0x0p+0, 0)
// fmodd(max/2+ulp,max) = max/2+ulp
T(RN,               0x1p+1023, 0x1.fffffffffffffp+1023,               0x1p+1023,          0x0p+0, 0)
T(RN,              -0x1p+1023, 0x1.fffffffffffffp+1023,              -0x1p+1023,          0x0p+0, 0)
// fmodd(max/2,max) = max/2
T(RN, 0x1.fffffffffffffp+1022,-0x1.fffffffffffffp+1023, 0x1.fffffffffffffp+1022,          0x0p+0, 0)
T(RN,-0x1.fffffffffffffp+1022,-0x1.fffffffffffffp+1023,-0x1.fffffffffffffp+1022,          0x0p+0, 0)
// fmodd(max/2-ulp,max) = max/2-ulp
T(RN, 0x1.ffffffffffffep+1022, 0x1.fffffffffffffp+1023, 0x1.ffffffffffffep+1022,          0x0p+0, 0)
T(RN,-0x1.ffffffffffffep+1022, 0x1.fffffffffffffp+1023,-0x1.ffffffffffffep+1022,          0x0p+0, 0)
// fmodd(max-ulp,max)= max-ulp
T(RN, 0x1.ffffffffffffep+1023,-0x1.fffffffffffffp+1023, 0x1.ffffffffffffep+1023,          0x0p+0, 0)
T(RN,-0x1.ffffffffffffep+1023,-0x1.fffffffffffffp+1023,-0x1.ffffffffffffep+1023,          0x0p+0, 0)
// fmodd(max-ulp,max/2) = max/2 - 2ulp
T(RN, 0x1.ffffffffffffep+1023, 0x1.fffffffffffffp+1022, 0x1.ffffffffffffdp+1022,          0x0p+0, 0)
T(RN,-0x1.ffffffffffffep+1023, 0x1.fffffffffffffp+1022,-0x1.ffffffffffffdp+1022,          0x0p+0, 0)
// fmodd(x,1) for small x = n+0.5
T(RN,                0x1.ep+2,                  0x1p+0,                  0x1p-1,          0x0p+0, 0)
T(RN,                0x1.ap+2,                  0x1p+0,                  0x1p-1,          0x0p+0, 0)
T(RN,                0x1.6p+2,                  0x1p+0,                  0x1p-1,          0x0p+0, 0)
T(RN,                0x1.2p+2,                  0x1p+0,                  0x1p-1,          0x0p+0, 0)
T(RN,               -0x1.ep+2,                  0x1p+0,                 -0x1p-1,          0x0p+0, 0)
T(RN,               -0x1.ap+2,                  0x1p+0,                 -0x1p-1,          0x0p+0, 0)
T(RN,               -0x1.6p+2,                  0x1p+0,                 -0x1p-1,          0x0p+0, 0)
T(RN,               -0x1.2p+2,                  0x1p+0,                 -0x1p-1,          0x0p+0, 0)
// random arguments between 100 -100
T(RN,   -0x1.adeefb2b5006dp+4,    0x1.1ce3efb825911p+6,   -0x1.adeefb2b5006dp+4,          0x0p+0, 0)
T(RN,    0x1.602e109de7505p+6,   -0x1.0b245fba96889p+6,     0x1.5426c38d431fp+4,          0x0p+0, 0)
T(RN,   -0x1.b171ee27084ddp+4,   -0x1.f6eff1b093c41p+1,   -0x1.c1efc714cbd62p+1,          0x0p+0, 0)
T(RN,    0x1.ceaa3d18455f5p+5,    0x1.560914a51b239p+6,    0x1.ceaa3d18455f5p+5,          0x0p+0, 0)
T(RN,   -0x1.0ce901079de4dp+4,   -0x1.7f35b3103b871p+6,   -0x1.0ce901079de4dp+4,          0x0p+0, 0)
T(RN,   -0x1.4d802f24163e5p+5,    0x1.27cb21468cce9p+2,    -0x1.7753696fabdcp-4,          0x0p+0, 0)
T(RN,   -0x1.2f5e7f258fcbdp+6,    0x1.1cdf71ace7da1p+6,    -0x1.27f0d78a7f1cp+2,          0x0p+0, 0)
T(RN,   -0x1.8e779efde0ed5p+6,   -0x1.8f8cce8e5e899p+6,   -0x1.8e779efde0ed5p+6,          0x0p+0, 0)
T(RN,   -0x1.6c4bc1412d02dp+5,    0x1.d12d328273bd1p+5,   -0x1.6c4bc1412d02dp+5,          0x0p+0, 0)
T(RN,    0x1.cb3e6e8b7c6c5p+4,    0x1.8afcd8e193549p+5,    0x1.cb3e6e8b7c6c5p+4,          0x0p+0, 0)
// fmodd(x,3u) for huge x
T(RN, 0x1.fffffffffffffp+1023,             0x1.8p-1073,               0x1p-1073,          0x0p+0, 0)
T(RN, 0x1.ffffffffffffep+1023,             0x1.8p-1073,                  0x0p+0,          0x0p+0, 0)
T(RN, 0x1.ffffffffffffdp+1023,             0x1.8p-1073,               0x1p-1074,          0x0p+0, 0)
T(RN,-0x1.ffffffffffffcp+1023,             0x1.8p-1073,              -0x1p-1073,          0x0p+0, 0)
T(RN,-0x1.ffffffffffffbp+1023,             0x1.8p-1073,                 -0x0p+0,          0x0p+0, 0)
T(RN,-0x1.ffffffffffffap+1023,             0x1.8p-1073,              -0x1p-1074,          0x0p+0, 0)
// fmodd(x,x-+u) for tiny or subnormal x
T(RN, 0x1.0000000000005p-1022, 0x1.0000000000006p-1022, 0x1.0000000000005p-1022,          0x0p+0, 0)
T(RN, 0x1.0000000000005p-1022, 0x1.0000000000004p-1022,               0x1p-1074,          0x0p+0, 0)
// fmodd involve nan
T(RN,                     nan,                  0x0p+0,                     nan,          0x0p+0, 0)
T(RN,                  0x0p+0,                     nan,                     nan,          0x0p+0, 0)
T(RN,                     nan,                     nan,                     nan,          0x0p+0, 0)
T(RN,                     nan,                     nan,                     nan,          0x0p+0, 0)
// fmodd(x,0) is nan with invalid signal except x is qnan
T(RN,                     nan,                  0x0p+0,                     nan,          0x0p+0, 0)
T(RN,                     inf,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RN,                 -0x1p+0,                 -0x0p+0,                     nan,          0x0p+0, INVALID)
T(RN,               0x1p-1074,                 -0x0p+0,                     nan,          0x0p+0, INVALID)
T(RN,                 -0x0p+0,                 -0x0p+0,                     nan,          0x0p+0, INVALID)
// fmodd (inf,x) is nan with invalid signal except x is qnan
T(RN,                     inf,                     nan,                     nan,          0x0p+0, 0)
T(RN,                     inf,                    -inf,                     nan,          0x0p+0, INVALID)
T(RN,                    -inf,                  0x1p+0,                     nan,          0x0p+0, INVALID)
T(RN,                    -inf,               0x1p-1074,                     nan,          0x0p+0, INVALID)
T(RN,                    -inf,                  0x0p+0,                     nan,          0x0p+0, INVALID)
// fmodd(x,inf) is x except nan,inf
T(RN,                  0x0p+0,                     inf,                  0x0p+0,          0x0p+0, 0)
T(RN,               0x1p-1074,                     inf,               0x1p-1074,          0x0p+0, 0)
T(RN, 0x1.fffffffffffffp+1023,                     inf, 0x1.fffffffffffffp+1023,          0x0p+0, 0)
T(RN,                 -0x0p+0,                    -inf,                 -0x0p+0,          0x0p+0, 0)
T(RN,              -0x1p-1074,                    -inf,              -0x1p-1074,          0x0p+0, 0)
T(RN,-0x1.fffffffffffffp+1023,                    -inf,-0x1.fffffffffffffp+1023,          0x0p+0, 0)
T(RD,                  0x0p+0,               0x1p-1074,                  0x0p+0,          0x0p+0, 0)
T(RD,                  0x0p+0, 0x1.ffffffffffffep-1023,                  0x0p+0,          0x0p+0, 0)
T(RD,                  0x0p+0,                  0x1p-1,                  0x0p+0,          0x0p+0, 0)
T(RD,                  0x0p+0,    0x1.fffffffffffffp-1,                  0x0p+0,          0x0p+0, 0)
T(RD,                  0x0p+0,                  0x1p+0,                  0x0p+0,          0x0p+0, 0)
T(RD,                  0x0p+0, 0x1.fffffffffffffp+1023,                  0x0p+0,          0x0p+0, 0)
T(RD,                  0x0p+0,                     inf,                  0x0p+0,          0x0p+0, 0)
T(RD,                  0x0p+0,              -0x1p-1074,                  0x0p+0,          0x0p+0, 0)
T(RD,                  0x0p+0,                 -0x1p+0,                  0x0p+0,          0x0p+0, 0)
T(RD,                  0x0p+0,                    -inf,                  0x0p+0,          0x0p+0, 0)
T(RD,               0x1p-1074,               0x1p-1072,               0x1p-1074,          0x0p+0, 0)
T(RD,               0x1p-1074,                     inf,               0x1p-1074,          0x0p+0, 0)
T(RD,               0x1p-1074,              -0x1p-1072,               0x1p-1074,          0x0p+0, 0)
T(RD,               0x1p-1074,                    -inf,               0x1p-1074,          0x0p+0, 0)
T(RD,               0x1p-1073,               0x1p-1072,               0x1p-1073,          0x0p+0, 0)
T(RD,             0x1.8p-1073,               0x1p-1072,             0x1.8p-1073,          0x0p+0, 0)
T(RD,             0x1.8p-1073,              -0x1p-1072,             0x1.8p-1073,          0x0p+0, 0)
T(RD,               0x1p-1072,               0x1p-1072,                  0x0p+0,          0x0p+0, 0)
T(RD,               0x1p-1072,              -0x1p-1072,                  0x0p+0,          0x0p+0, 0)
T(RD, 0x1.ffffffffffff8p-1023, 0x1.ffffffffffffcp-1023, 0x1.ffffffffffff8p-1023,          0x0p+0, 0)
T(RD, 0x1.ffffffffffff8p-1023,-0x1.ffffffffffffcp-1023, 0x1.ffffffffffff8p-1023,          0x0p+0, 0)
T(RD, 0x1.ffffffffffffep-1023,             0x1.8p-1073,                  0x0p+0,          0x0p+0, 0)
T(RD, 0x1.ffffffffffffep-1023, 0x1.fffffffffffffp-1022, 0x1.ffffffffffffep-1023,          0x0p+0, 0)
T(RD, 0x1.ffffffffffffep-1023,                     inf, 0x1.ffffffffffffep-1023,          0x0p+0, 0)
T(RD, 0x1.ffffffffffffep-1023,            -0x1.8p-1073,                  0x0p+0,          0x0p+0, 0)
T(RD,               0x1p-1022,             0x1.8p-1073,               0x1p-1074,          0x0p+0, 0)
T(RD,               0x1p-1022, 0x1.ffffffffffffcp-1023,               0x1p-1073,          0x0p+0, 0)
T(RD,               0x1p-1022, 0x1.fffffffffffffp-1022,               0x1p-1022,          0x0p+0, 0)
T(RD,               0x1p-1022,            -0x1.8p-1073,               0x1p-1074,          0x0p+0, 0)
T(RD, 0x1.0000000000001p-1022, 0x1.ffffffffffffcp-1023,             0x1.8p-1073,          0x0p+0, 0)
T(RD, 0x1.0000000000002p-1022,             0x1.8p-1073,                  0x0p+0,          0x0p+0, 0)
T(RD, 0x1.0000000000002p-1022,            -0x1.8p-1073,                  0x0p+0,          0x0p+0, 0)
T(RD, 0x1.0000000000003p-1022,             0x1.8p-1073,               0x1p-1074,          0x0p+0, 0)
T(RD, 0x1.0000000000003p-1022, 0x1.0000000000005p-1022, 0x1.0000000000003p-1022,          0x0p+0, 0)
T(RD, 0x1.0000000000003p-1022,            -0x1.8p-1073,               0x1p-1074,          0x0p+0, 0)
T(RD, 0x1.0000000000004p-1022, 0x1.0000000000005p-1022, 0x1.0000000000004p-1022,          0x0p+0, 0)
T(RD, 0x1.0000000000006p-1022, 0x1.0000000000005p-1022,               0x1p-1074,          0x0p+0, 0)
T(RD, 0x1.fffffffffffffp-1022,               0x1p-1021, 0x1.fffffffffffffp-1022,          0x0p+0, 0)
T(RD, 0x1.fffffffffffffp-1014,               0x1p-1014, 0x1.ffffffffffffep-1015,          0x0p+0, 0)
T(RD,                  0x1p-3,                  0x1p-1,                  0x1p-3,          0x0p+0, 0)
T(RD,                  0x1p-2,                  0x1p-1,                  0x1p-2,          0x0p+0, 0)
T(RD,    0x1.0000000000001p-2,                  0x1p-1,    0x1.0000000000001p-2,          0x0p+0, 0)
T(RD,                0x1.8p-2,                  0x1p-1,                0x1.8p-2,          0x0p+0, 0)
T(RD,                0x1.4p-1,                  0x1p-1,                  0x1p-3,          0x0p+0, 0)
T(RD,    0x1.ffffffffffffcp-1,    0x1.ffffffffffffep-1,    0x1.ffffffffffffcp-1,          0x0p+0, 0)
T(RD,    0x1.fffffffffffffp-1,    0x1.fffffffffffffp+0,    0x1.fffffffffffffp-1,          0x0p+0, 0)
T(RD,    0x1.fffffffffffffp-1,                     inf,    0x1.fffffffffffffp-1,          0x0p+0, 0)
T(RD,                  0x1p+0,    0x1.ffffffffffffep-1,                 0x1p-52,          0x0p+0, 0)
T(RD,                  0x1p+0,    0x1.fffffffffffffp+0,                  0x1p+0,          0x0p+0, 0)
T(RD,                  0x1p+0,                  0x1p+1,                  0x1p+0,          0x0p+0, 0)
T(RD,                  0x1p+0,                  0x1p+2,                  0x1p+0,          0x0p+0, 0)
T(RD,                  0x1p+0,                     inf,                  0x1p+0,          0x0p+0, 0)
T(RD,                  0x1p+0,                 -0x1p+1,                  0x1p+0,          0x0p+0, 0)
T(RD,                  0x1p+0,                    -inf,                  0x1p+0,          0x0p+0, 0)
T(RD,    0x1.0000000000001p+0,    0x1.ffffffffffffep-1,                 0x1p-51,          0x0p+0, 0)
T(RD,    0x1.0000000000001p+0,    0x1.0000000000005p+0,    0x1.0000000000001p+0,          0x0p+0, 0)
T(RD,    0x1.0000000000001p+0,                  0x1p+1,    0x1.0000000000001p+0,          0x0p+0, 0)
T(RD,    0x1.0000000000001p+0,   -0x1.0000000000005p+0,    0x1.0000000000001p+0,          0x0p+0, 0)
T(RD,    0x1.0000000000002p+0,    0x1.0000000000005p+0,    0x1.0000000000002p+0,          0x0p+0, 0)
T(RD,    0x1.0000000000003p+0,    0x1.0000000000005p+0,    0x1.0000000000003p+0,          0x0p+0, 0)
T(RD,    0x1.0000000000004p+0,    0x1.0000000000005p+0,    0x1.0000000000004p+0,          0x0p+0, 0)
T(RD,    0x1.0000000000006p+0,    0x1.0000000000005p+0,                 0x1p-52,          0x0p+0, 0)
T(RD,    0x1.fffffffffffffp+0,                  0x1p+1,    0x1.fffffffffffffp+0,          0x0p+0, 0)
T(RD,                  0x1p+1,                  0x1p+1,                  0x0p+0,          0x0p+0, 0)
T(RD,                  0x1p+1,                  0x1p+2,                  0x1p+1,          0x0p+0, 0)
T(RD,                  0x1p+1,                 -0x1p+1,                  0x0p+0,          0x0p+0, 0)
T(RD,    0x1.0000000000001p+1,                  0x1p+2,    0x1.0000000000001p+1,          0x0p+0, 0)
T(RD,    0x1.0000000000001p+1,                 -0x1p+2,    0x1.0000000000001p+1,          0x0p+0, 0)
T(RD,    0x1.0000000000008p+1,                  0x1p+2,    0x1.0000000000008p+1,          0x0p+0, 0)
T(RD,    0x1.7ffffffffffffp+1,                  0x1p+1,    0x1.ffffffffffffcp-1,          0x0p+0, 0)
T(RD,    0x1.7ffffffffffffp+1,                0x1.8p+1,    0x1.7ffffffffffffp+1,          0x0p+0, 0)
T(RD,    0x1.7ffffffffffffp+1,               -0x1.8p+1,    0x1.7ffffffffffffp+1,          0x0p+0, 0)
T(RD,                0x1.8p+1,                  0x1p+1,                  0x1p+0,          0x0p+0, 0)
T(RD,                0x1.8p+1,                  0x1p+2,                0x1.8p+1,          0x0p+0, 0)
T(RD,                0x1.8p+1,                 -0x1p+1,                  0x1p+0,          0x0p+0, 0)
T(RD,                  0x1p+2,                  0x1p+2,                  0x0p+0,          0x0p+0, 0)
T(RD,                0x1.4p+2,                  0x1p+2,                  0x1p+0,          0x0p+0, 0)
T(RD,    0x1.7fffffffffff8p+2,                  0x1p+2,     0x1.fffffffffffep+0,          0x0p+0, 0)
T(RD,    0x1.7ffffffffffffp+2,                  0x1p+2,    0x1.ffffffffffffcp+0,          0x0p+0, 0)
T(RD,    0x1.7ffffffffffffp+2,                 -0x1p+2,    0x1.ffffffffffffcp+0,          0x0p+0, 0)
T(RD,                0x1.8p+2,                  0x1p+2,                  0x1p+1,          0x0p+0, 0)
T(RD,                0x1.cp+2,                  0x1p+2,                0x1.8p+1,          0x0p+0, 0)
T(RD,                  0x1p+3,                  0x1p+2,                  0x0p+0,          0x0p+0, 0)
T(RD,                0x1p+971,                0x1p+973,                0x1p+971,          0x0p+0, 0)
T(RD,               0x1p+1022,               0x1p+1023,               0x1p+1022,          0x0p+0, 0)
T(RD, 0x1.ffffffffffffcp+1022, 0x1.ffffffffffffep+1022, 0x1.ffffffffffffcp+1022,          0x0p+0, 0)
T(RD, 0x1.ffffffffffffep+1022,              0x1.8p+972,                  0x0p+0,          0x0p+0, 0)
T(RD, 0x1.ffffffffffffep+1022,             -0x1.8p+972,                  0x0p+0,          0x0p+0, 0)
T(RD, 0x1.fffffffffffffp+1022,               0x1p+1023, 0x1.fffffffffffffp+1022,          0x0p+0, 0)
T(RD, 0x1.fffffffffffffp+1022, 0x1.fffffffffffffp+1023, 0x1.fffffffffffffp+1022,          0x0p+0, 0)
T(RD, 0x1.fffffffffffffp+1022,              -0x1p+1023, 0x1.fffffffffffffp+1022,          0x0p+0, 0)
T(RD,               0x1p+1023,              0x1.8p+972,                0x1p+971,          0x0p+0, 0)
T(RD,               0x1p+1023, 0x1.ffffffffffffep+1022,                0x1p+971,          0x0p+0, 0)
T(RD,               0x1p+1023, 0x1.fffffffffffffp+1023,               0x1p+1023,          0x0p+0, 0)
T(RD,               0x1p+1023,             -0x1.8p+972,                0x1p+971,          0x0p+0, 0)
T(RD, 0x1.0000000000001p+1023, 0x1.ffffffffffffep+1022,                0x1p+972,          0x0p+0, 0)
T(RD, 0x1.0000000000002p+1023,             0x1.8p-1073,                  0x0p+0,          0x0p+0, 0)
T(RD, 0x1.0000000000002p+1023,                0x1.8p+1,                  0x0p+0,          0x0p+0, 0)
T(RD, 0x1.0000000000002p+1023,            -0x1.8p-1073,                  0x0p+0,          0x0p+0, 0)
T(RD, 0x1.0000000000002p+1023,               -0x1.8p+1,                  0x0p+0,          0x0p+0, 0)
T(RD, 0x1.0000000000003p+1023,              0x1.8p+972,                0x1p+971,          0x0p+0, 0)
T(RD, 0x1.0000000000003p+1023, 0x1.0000000000005p+1023, 0x1.0000000000003p+1023,          0x0p+0, 0)
T(RD, 0x1.0000000000003p+1023,             -0x1.8p+972,                0x1p+971,          0x0p+0, 0)
T(RD, 0x1.0000000000004p+1023, 0x1.0000000000005p+1023, 0x1.0000000000004p+1023,          0x0p+0, 0)
T(RD, 0x1.0000000000006p+1023, 0x1.0000000000005p+1023,                0x1p+971,          0x0p+0, 0)
T(RD, 0x1.fffffffffffffp+1023,               0x1p-1074,                  0x0p+0,          0x0p+0, 0)
T(RD, 0x1.fffffffffffffp+1023,               0x1p-1022,                  0x0p+0,          0x0p+0, 0)
T(RD, 0x1.fffffffffffffp+1023, 0x1.fffffffffffffp-1022,                  0x0p+0,          0x0p+0, 0)
T(RD, 0x1.fffffffffffffp+1023,               0x1p+1023, 0x1.ffffffffffffep+1022,          0x0p+0, 0)
T(RD, 0x1.fffffffffffffp+1023, 0x1.ffffffffffffep+1023,                0x1p+971,          0x0p+0, 0)
T(RD, 0x1.fffffffffffffp+1023,                     inf, 0x1.fffffffffffffp+1023,          0x0p+0, 0)
T(RD, 0x1.fffffffffffffp+1023,              -0x1p-1074,                  0x0p+0,          0x0p+0, 0)
T(RD, 0x1.fffffffffffffp+1023,-0x1.ffffffffffffep+1023,                0x1p+971,          0x0p+0, 0)
T(RD, 0x1.fffffffffffffp+1023,                    -inf, 0x1.fffffffffffffp+1023,          0x0p+0, 0)
T(RD,                 -0x0p+0,               0x1p-1074,                 -0x0p+0,          0x0p+0, 0)
T(RD,                 -0x0p+0,                  0x1p+0,                 -0x0p+0,          0x0p+0, 0)
T(RD,                 -0x0p+0,              -0x1p-1074,                 -0x0p+0,          0x0p+0, 0)
T(RD,                 -0x0p+0,                 -0x1p+0,                 -0x0p+0,          0x0p+0, 0)
T(RD,              -0x1p-1074,               0x1p-1072,              -0x1p-1074,          0x0p+0, 0)
T(RD,              -0x1p-1074,                     inf,              -0x1p-1074,          0x0p+0, 0)
T(RD,              -0x1p-1074,              -0x1p-1072,              -0x1p-1074,          0x0p+0, 0)
T(RD,              -0x1p-1074,                    -inf,              -0x1p-1074,          0x0p+0, 0)
T(RD,            -0x1.8p-1073,               0x1p-1072,            -0x1.8p-1073,          0x0p+0, 0)
T(RD,            -0x1.8p-1073,              -0x1p-1072,            -0x1.8p-1073,          0x0p+0, 0)
T(RD,              -0x1p-1072,               0x1p-1072,                 -0x0p+0,          0x0p+0, 0)
T(RD,              -0x1p-1072,              -0x1p-1072,                 -0x0p+0,          0x0p+0, 0)
T(RD,-0x1.ffffffffffff8p-1023, 0x1.ffffffffffffcp-1023,-0x1.ffffffffffff8p-1023,          0x0p+0, 0)
T(RD,-0x1.ffffffffffff8p-1023,-0x1.ffffffffffffcp-1023,-0x1.ffffffffffff8p-1023,          0x0p+0, 0)
T(RD,-0x1.ffffffffffffep-1023,             0x1.8p-1073,                 -0x0p+0,          0x0p+0, 0)
T(RD,              -0x1p-1022,             0x1.8p-1073,              -0x1p-1074,          0x0p+0, 0)
T(RD,              -0x1p-1022,            -0x1.8p-1073,              -0x1p-1074,          0x0p+0, 0)
T(RD,-0x1.0000000000002p-1022,             0x1.8p-1073,                 -0x0p+0,          0x0p+0, 0)
T(RD,-0x1.0000000000002p-1022,            -0x1.8p-1073,                 -0x0p+0,          0x0p+0, 0)
T(RD,-0x1.0000000000003p-1022,             0x1.8p-1073,              -0x1p-1074,          0x0p+0, 0)
T(RD,-0x1.0000000000003p-1022,            -0x1.8p-1073,              -0x1p-1074,          0x0p+0, 0)
T(RD,                 -0x1p+0,                  0x1p+1,                 -0x1p+0,          0x0p+0, 0)
T(RD,                 -0x1p+0,                     inf,                 -0x1p+0,          0x0p+0, 0)
T(RD,                 -0x1p+0,                 -0x1p+1,                 -0x1p+0,          0x0p+0, 0)
T(RD,                 -0x1p+0,                    -inf,                 -0x1p+0,          0x0p+0, 0)
T(RD,   -0x1.0000000000001p+0,    0x1.0000000000005p+0,   -0x1.0000000000001p+0,          0x0p+0, 0)
T(RD,   -0x1.0000000000001p+0,   -0x1.0000000000005p+0,   -0x1.0000000000001p+0,          0x0p+0, 0)
T(RD,                 -0x1p+1,                  0x1p+1,                 -0x0p+0,          0x0p+0, 0)
T(RD,                 -0x1p+1,                 -0x1p+1,                 -0x0p+0,          0x0p+0, 0)
T(RD,   -0x1.0000000000001p+1,                  0x1p+2,   -0x1.0000000000001p+1,          0x0p+0, 0)
T(RD,   -0x1.0000000000001p+1,                 -0x1p+2,   -0x1.0000000000001p+1,          0x0p+0, 0)
T(RD,   -0x1.7ffffffffffffp+1,                0x1.8p+1,   -0x1.7ffffffffffffp+1,          0x0p+0, 0)
T(RD,   -0x1.7ffffffffffffp+1,               -0x1.8p+1,   -0x1.7ffffffffffffp+1,          0x0p+0, 0)
T(RD,               -0x1.8p+1,                  0x1p+1,                 -0x1p+0,          0x0p+0, 0)
T(RD,               -0x1.8p+1,                 -0x1p+1,                 -0x1p+0,          0x0p+0, 0)
T(RD,   -0x1.7ffffffffffffp+2,                  0x1p+2,   -0x1.ffffffffffffcp+0,          0x0p+0, 0)
T(RD,   -0x1.7ffffffffffffp+2,                 -0x1p+2,   -0x1.ffffffffffffcp+0,          0x0p+0, 0)
T(RD,-0x1.ffffffffffffep+1022,              0x1.8p+972,                 -0x0p+0,          0x0p+0, 0)
T(RD,-0x1.ffffffffffffep+1022,             -0x1.8p+972,                 -0x0p+0,          0x0p+0, 0)
T(RD,-0x1.fffffffffffffp+1022,               0x1p+1023,-0x1.fffffffffffffp+1022,          0x0p+0, 0)
T(RD,-0x1.fffffffffffffp+1022,              -0x1p+1023,-0x1.fffffffffffffp+1022,          0x0p+0, 0)
T(RD,              -0x1p+1023,              0x1.8p+972,               -0x1p+971,          0x0p+0, 0)
T(RD,              -0x1p+1023,             -0x1.8p+972,               -0x1p+971,          0x0p+0, 0)
T(RD,-0x1.0000000000002p+1023,             0x1.8p-1073,                 -0x0p+0,          0x0p+0, 0)
T(RD,-0x1.0000000000002p+1023,                0x1.8p+1,                 -0x0p+0,          0x0p+0, 0)
T(RD,-0x1.0000000000002p+1023,            -0x1.8p-1073,                 -0x0p+0,          0x0p+0, 0)
T(RD,-0x1.0000000000002p+1023,               -0x1.8p+1,                 -0x0p+0,          0x0p+0, 0)
T(RD,-0x1.0000000000003p+1023,              0x1.8p+972,               -0x1p+971,          0x0p+0, 0)
T(RD,-0x1.0000000000003p+1023,             -0x1.8p+972,               -0x1p+971,          0x0p+0, 0)
T(RD,-0x1.fffffffffffffp+1023,               0x1p-1074,                 -0x0p+0,          0x0p+0, 0)
T(RD,-0x1.fffffffffffffp+1023, 0x1.ffffffffffffep+1023,               -0x1p+971,          0x0p+0, 0)
T(RD,-0x1.fffffffffffffp+1023,                     inf,-0x1.fffffffffffffp+1023,          0x0p+0, 0)
T(RD,-0x1.fffffffffffffp+1023,              -0x1p-1074,                 -0x0p+0,          0x0p+0, 0)
T(RD,-0x1.fffffffffffffp+1023,-0x1.ffffffffffffep+1023,               -0x1p+971,          0x0p+0, 0)
T(RD,-0x1.fffffffffffffp+1023,                    -inf,-0x1.fffffffffffffp+1023,          0x0p+0, 0)
T(RD,                  0x0p+0,                     nan,                     nan,          0x0p+0, 0)
T(RD,               0x1p-1074,                     nan,                     nan,          0x0p+0, 0)
T(RD, 0x1.ffffffffffffep-1023,                     nan,                     nan,          0x0p+0, 0)
T(RD,                  0x1p+0,                     nan,                     nan,          0x0p+0, 0)
T(RD, 0x1.fffffffffffffp+1023,                     nan,                     nan,          0x0p+0, 0)
T(RD,                     inf,                     nan,                     nan,          0x0p+0, 0)
T(RD,                     nan,                  0x0p+0,                     nan,          0x0p+0, 0)
T(RD,                     nan,               0x1p-1074,                     nan,          0x0p+0, 0)
T(RD,                     nan, 0x1.ffffffffffffep-1023,                     nan,          0x0p+0, 0)
T(RD,                     nan,                  0x1p+0,                     nan,          0x0p+0, 0)
T(RD,                     nan, 0x1.fffffffffffffp+1023,                     nan,          0x0p+0, 0)
T(RD,                     nan,                     inf,                     nan,          0x0p+0, 0)
T(RD,                     nan,                     nan,                     nan,          0x0p+0, 0)
T(RD,                     nan,                 -0x0p+0,                     nan,          0x0p+0, 0)
T(RD,                     nan,              -0x1p-1074,                     nan,          0x0p+0, 0)
T(RD,                     nan,-0x1.ffffffffffffep-1023,                     nan,          0x0p+0, 0)
T(RD,                     nan,                 -0x1p+0,                     nan,          0x0p+0, 0)
T(RD,                     nan,-0x1.fffffffffffffp+1023,                     nan,          0x0p+0, 0)
T(RD,                     nan,                    -inf,                     nan,          0x0p+0, 0)
T(RD,                 -0x0p+0,                     nan,                     nan,          0x0p+0, 0)
T(RD,              -0x1p-1074,                     nan,                     nan,          0x0p+0, 0)
T(RD,-0x1.ffffffffffffep-1023,                     nan,                     nan,          0x0p+0, 0)
T(RD,                 -0x1p+0,                     nan,                     nan,          0x0p+0, 0)
T(RD,-0x1.fffffffffffffp+1023,                     nan,                     nan,          0x0p+0, 0)
T(RD,                    -inf,                     nan,                     nan,          0x0p+0, 0)
T(RD,                  0x0p+0,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RD,                  0x0p+0,                 -0x0p+0,                     nan,          0x0p+0, INVALID)
T(RD,               0x1p-1074,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RD, 0x1.ffffffffffffep-1023,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RD, 0x1.ffffffffffffep-1023,                 -0x0p+0,                     nan,          0x0p+0, INVALID)
T(RD,    0x1.fffffffffffffp-1,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RD,                  0x1p+0,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RD, 0x1.fffffffffffffp+1023,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RD, 0x1.fffffffffffffp+1023,                 -0x0p+0,                     nan,          0x0p+0, INVALID)
T(RD,                     inf,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RD,                     inf,               0x1p-1074,                     nan,          0x0p+0, INVALID)
T(RD,                     inf, 0x1.ffffffffffffep-1023,                     nan,          0x0p+0, INVALID)
T(RD,                     inf,                  0x1p+0,                     nan,          0x0p+0, INVALID)
T(RD,                     inf, 0x1.fffffffffffffp+1023,                     nan,          0x0p+0, INVALID)
T(RD,                     inf,                     inf,                     nan,          0x0p+0, INVALID)
T(RD,                     inf,                 -0x0p+0,                     nan,          0x0p+0, INVALID)
T(RD,                     inf,-0x1.fffffffffffffp+1023,                     nan,          0x0p+0, INVALID)
T(RD,                 -0x0p+0,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RD,                 -0x0p+0,                 -0x0p+0,                     nan,          0x0p+0, INVALID)
T(RD,-0x1.ffffffffffffep-1023,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RD,-0x1.ffffffffffffep-1023,                 -0x0p+0,                     nan,          0x0p+0, INVALID)
T(RD,-0x1.fffffffffffffp+1023,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RD,-0x1.fffffffffffffp+1023,                 -0x0p+0,                     nan,          0x0p+0, INVALID)
T(RD,                    -inf,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RD,                    -inf, 0x1.fffffffffffffp+1023,                     nan,          0x0p+0, INVALID)
T(RD,                    -inf,                 -0x0p+0,                     nan,          0x0p+0, INVALID)
T(RD,                    -inf,-0x1.fffffffffffffp+1023,                     nan,          0x0p+0, INVALID)
T(RN,                  0x0p+0,               0x1p-1074,                  0x0p+0,          0x0p+0, 0)
T(RN,                  0x0p+0, 0x1.ffffffffffffep-1023,                  0x0p+0,          0x0p+0, 0)
T(RN,                  0x0p+0,                  0x1p-1,                  0x0p+0,          0x0p+0, 0)
T(RN,                  0x0p+0,    0x1.fffffffffffffp-1,                  0x0p+0,          0x0p+0, 0)
T(RN,                  0x0p+0,                  0x1p+0,                  0x0p+0,          0x0p+0, 0)
T(RN,                  0x0p+0,              -0x1p-1074,                  0x0p+0,          0x0p+0, 0)
T(RN,                  0x0p+0,                 -0x1p+0,                  0x0p+0,          0x0p+0, 0)
T(RN,                  0x0p+0,                    -inf,                  0x0p+0,          0x0p+0, 0)
T(RN,               0x1p-1074,               0x1p-1072,               0x1p-1074,          0x0p+0, 0)
T(RN,               0x1p-1074,              -0x1p-1072,               0x1p-1074,          0x0p+0, 0)
T(RN,               0x1p-1074,                    -inf,               0x1p-1074,          0x0p+0, 0)
T(RN,               0x1p-1073,               0x1p-1072,               0x1p-1073,          0x0p+0, 0)
T(RN,             0x1.8p-1073,               0x1p-1072,             0x1.8p-1073,          0x0p+0, 0)
T(RN,             0x1.8p-1073,              -0x1p-1072,             0x1.8p-1073,          0x0p+0, 0)
T(RN,               0x1p-1072,               0x1p-1072,                  0x0p+0,          0x0p+0, 0)
T(RN,               0x1p-1072,              -0x1p-1072,                  0x0p+0,          0x0p+0, 0)
T(RN, 0x1.ffffffffffff8p-1023, 0x1.ffffffffffffcp-1023, 0x1.ffffffffffff8p-1023,          0x0p+0, 0)
T(RN, 0x1.ffffffffffff8p-1023,-0x1.ffffffffffffcp-1023, 0x1.ffffffffffff8p-1023,          0x0p+0, 0)
T(RN, 0x1.ffffffffffffep-1023,             0x1.8p-1073,                  0x0p+0,          0x0p+0, 0)
T(RN, 0x1.ffffffffffffep-1023, 0x1.fffffffffffffp-1022, 0x1.ffffffffffffep-1023,          0x0p+0, 0)
T(RN, 0x1.ffffffffffffep-1023,                     inf, 0x1.ffffffffffffep-1023,          0x0p+0, 0)
T(RN, 0x1.ffffffffffffep-1023,            -0x1.8p-1073,                  0x0p+0,          0x0p+0, 0)
T(RN,               0x1p-1022,             0x1.8p-1073,               0x1p-1074,          0x0p+0, 0)
T(RN,               0x1p-1022, 0x1.ffffffffffffcp-1023,               0x1p-1073,          0x0p+0, 0)
T(RN,               0x1p-1022, 0x1.fffffffffffffp-1022,               0x1p-1022,          0x0p+0, 0)
T(RN,               0x1p-1022,            -0x1.8p-1073,               0x1p-1074,          0x0p+0, 0)
T(RN, 0x1.0000000000001p-1022, 0x1.ffffffffffffcp-1023,             0x1.8p-1073,          0x0p+0, 0)
T(RN, 0x1.0000000000002p-1022,             0x1.8p-1073,                  0x0p+0,          0x0p+0, 0)
T(RN, 0x1.0000000000002p-1022,            -0x1.8p-1073,                  0x0p+0,          0x0p+0, 0)
T(RN, 0x1.0000000000003p-1022,             0x1.8p-1073,               0x1p-1074,          0x0p+0, 0)
T(RN, 0x1.0000000000003p-1022, 0x1.0000000000005p-1022, 0x1.0000000000003p-1022,          0x0p+0, 0)
T(RN, 0x1.0000000000003p-1022,            -0x1.8p-1073,               0x1p-1074,          0x0p+0, 0)
T(RN, 0x1.0000000000004p-1022, 0x1.0000000000005p-1022, 0x1.0000000000004p-1022,          0x0p+0, 0)
T(RN, 0x1.0000000000006p-1022, 0x1.0000000000005p-1022,               0x1p-1074,          0x0p+0, 0)
T(RN, 0x1.fffffffffffffp-1022,               0x1p-1021, 0x1.fffffffffffffp-1022,          0x0p+0, 0)
T(RN, 0x1.fffffffffffffp-1014,               0x1p-1014, 0x1.ffffffffffffep-1015,          0x0p+0, 0)
T(RN,                  0x1p-3,                  0x1p-1,                  0x1p-3,          0x0p+0, 0)
T(RN,                  0x1p-2,                  0x1p-1,                  0x1p-2,          0x0p+0, 0)
T(RN,    0x1.0000000000001p-2,                  0x1p-1,    0x1.0000000000001p-2,          0x0p+0, 0)
T(RN,                0x1.8p-2,                  0x1p-1,                0x1.8p-2,          0x0p+0, 0)
T(RN,                0x1.4p-1,                  0x1p-1,                  0x1p-3,          0x0p+0, 0)
T(RN,    0x1.ffffffffffffcp-1,    0x1.ffffffffffffep-1,    0x1.ffffffffffffcp-1,          0x0p+0, 0)
T(RN,    0x1.fffffffffffffp-1,    0x1.fffffffffffffp+0,    0x1.fffffffffffffp-1,          0x0p+0, 0)
T(RN,    0x1.fffffffffffffp-1,                     inf,    0x1.fffffffffffffp-1,          0x0p+0, 0)
T(RN,                  0x1p+0,    0x1.ffffffffffffep-1,                 0x1p-52,          0x0p+0, 0)
T(RN,                  0x1p+0,    0x1.fffffffffffffp+0,                  0x1p+0,          0x0p+0, 0)
T(RN,                  0x1p+0,                  0x1p+1,                  0x1p+0,          0x0p+0, 0)
T(RN,                  0x1p+0,                  0x1p+2,                  0x1p+0,          0x0p+0, 0)
T(RN,                  0x1p+0,                     inf,                  0x1p+0,          0x0p+0, 0)
T(RN,                  0x1p+0,                 -0x1p+1,                  0x1p+0,          0x0p+0, 0)
T(RN,                  0x1p+0,                    -inf,                  0x1p+0,          0x0p+0, 0)
T(RN,    0x1.0000000000001p+0,    0x1.ffffffffffffep-1,                 0x1p-51,          0x0p+0, 0)
T(RN,    0x1.0000000000001p+0,    0x1.0000000000005p+0,    0x1.0000000000001p+0,          0x0p+0, 0)
T(RN,    0x1.0000000000001p+0,                  0x1p+1,    0x1.0000000000001p+0,          0x0p+0, 0)
T(RN,    0x1.0000000000001p+0,   -0x1.0000000000005p+0,    0x1.0000000000001p+0,          0x0p+0, 0)
T(RN,    0x1.0000000000002p+0,    0x1.0000000000005p+0,    0x1.0000000000002p+0,          0x0p+0, 0)
T(RN,    0x1.0000000000003p+0,    0x1.0000000000005p+0,    0x1.0000000000003p+0,          0x0p+0, 0)
T(RN,    0x1.0000000000004p+0,    0x1.0000000000005p+0,    0x1.0000000000004p+0,          0x0p+0, 0)
T(RN,    0x1.0000000000006p+0,    0x1.0000000000005p+0,                 0x1p-52,          0x0p+0, 0)
T(RN,    0x1.fffffffffffffp+0,                  0x1p+1,    0x1.fffffffffffffp+0,          0x0p+0, 0)
T(RN,                  0x1p+1,                  0x1p+1,                  0x0p+0,          0x0p+0, 0)
T(RN,                  0x1p+1,                  0x1p+2,                  0x1p+1,          0x0p+0, 0)
T(RN,                  0x1p+1,                 -0x1p+1,                  0x0p+0,          0x0p+0, 0)
T(RN,    0x1.0000000000001p+1,                  0x1p+2,    0x1.0000000000001p+1,          0x0p+0, 0)
T(RN,    0x1.0000000000001p+1,                 -0x1p+2,    0x1.0000000000001p+1,          0x0p+0, 0)
T(RN,    0x1.0000000000008p+1,                  0x1p+2,    0x1.0000000000008p+1,          0x0p+0, 0)
T(RN,    0x1.7ffffffffffffp+1,                  0x1p+1,    0x1.ffffffffffffcp-1,          0x0p+0, 0)
T(RN,    0x1.7ffffffffffffp+1,                0x1.8p+1,    0x1.7ffffffffffffp+1,          0x0p+0, 0)
T(RN,    0x1.7ffffffffffffp+1,               -0x1.8p+1,    0x1.7ffffffffffffp+1,          0x0p+0, 0)
T(RN,                0x1.8p+1,                  0x1p+1,                  0x1p+0,          0x0p+0, 0)
T(RN,                0x1.8p+1,                  0x1p+2,                0x1.8p+1,          0x0p+0, 0)
T(RN,                0x1.8p+1,                 -0x1p+1,                  0x1p+0,          0x0p+0, 0)
T(RN,                  0x1p+2,                  0x1p+2,                  0x0p+0,          0x0p+0, 0)
T(RN,                0x1.4p+2,                  0x1p+2,                  0x1p+0,          0x0p+0, 0)
T(RN,    0x1.7fffffffffff8p+2,                  0x1p+2,     0x1.fffffffffffep+0,          0x0p+0, 0)
T(RN,    0x1.7ffffffffffffp+2,                  0x1p+2,    0x1.ffffffffffffcp+0,          0x0p+0, 0)
T(RN,    0x1.7ffffffffffffp+2,                 -0x1p+2,    0x1.ffffffffffffcp+0,          0x0p+0, 0)
T(RN,                0x1.8p+2,                  0x1p+2,                  0x1p+1,          0x0p+0, 0)
T(RN,                0x1.cp+2,                  0x1p+2,                0x1.8p+1,          0x0p+0, 0)
T(RN,                  0x1p+3,                  0x1p+2,                  0x0p+0,          0x0p+0, 0)
T(RN,                0x1p+971,                0x1p+973,                0x1p+971,          0x0p+0, 0)
T(RN,               0x1p+1022,               0x1p+1023,               0x1p+1022,          0x0p+0, 0)
T(RN, 0x1.ffffffffffffcp+1022, 0x1.ffffffffffffep+1022, 0x1.ffffffffffffcp+1022,          0x0p+0, 0)
T(RN, 0x1.ffffffffffffep+1022,              0x1.8p+972,                  0x0p+0,          0x0p+0, 0)
T(RN, 0x1.ffffffffffffep+1022,             -0x1.8p+972,                  0x0p+0,          0x0p+0, 0)
T(RN, 0x1.fffffffffffffp+1022,               0x1p+1023, 0x1.fffffffffffffp+1022,          0x0p+0, 0)
T(RN, 0x1.fffffffffffffp+1022, 0x1.fffffffffffffp+1023, 0x1.fffffffffffffp+1022,          0x0p+0, 0)
T(RN, 0x1.fffffffffffffp+1022,              -0x1p+1023, 0x1.fffffffffffffp+1022,          0x0p+0, 0)
T(RN,               0x1p+1023,              0x1.8p+972,                0x1p+971,          0x0p+0, 0)
T(RN,               0x1p+1023, 0x1.ffffffffffffep+1022,                0x1p+971,          0x0p+0, 0)
T(RN,               0x1p+1023,             -0x1.8p+972,                0x1p+971,          0x0p+0, 0)
T(RN, 0x1.0000000000001p+1023, 0x1.ffffffffffffep+1022,                0x1p+972,          0x0p+0, 0)
T(RN, 0x1.0000000000002p+1023,             0x1.8p-1073,                  0x0p+0,          0x0p+0, 0)
T(RN, 0x1.0000000000002p+1023,                0x1.8p+1,                  0x0p+0,          0x0p+0, 0)
T(RN, 0x1.0000000000002p+1023,            -0x1.8p-1073,                  0x0p+0,          0x0p+0, 0)
T(RN, 0x1.0000000000002p+1023,               -0x1.8p+1,                  0x0p+0,          0x0p+0, 0)
T(RN, 0x1.0000000000003p+1023,              0x1.8p+972,                0x1p+971,          0x0p+0, 0)
T(RN, 0x1.0000000000003p+1023, 0x1.0000000000005p+1023, 0x1.0000000000003p+1023,          0x0p+0, 0)
T(RN, 0x1.0000000000003p+1023,             -0x1.8p+972,                0x1p+971,          0x0p+0, 0)
T(RN, 0x1.0000000000004p+1023, 0x1.0000000000005p+1023, 0x1.0000000000004p+1023,          0x0p+0, 0)
T(RN, 0x1.0000000000006p+1023, 0x1.0000000000005p+1023,                0x1p+971,          0x0p+0, 0)
T(RN, 0x1.fffffffffffffp+1023,               0x1p-1074,                  0x0p+0,          0x0p+0, 0)
T(RN, 0x1.fffffffffffffp+1023, 0x1.fffffffffffffp-1022,                  0x0p+0,          0x0p+0, 0)
T(RN, 0x1.fffffffffffffp+1023,               0x1p+1023, 0x1.ffffffffffffep+1022,          0x0p+0, 0)
T(RN, 0x1.fffffffffffffp+1023,              -0x1p-1074,                  0x0p+0,          0x0p+0, 0)
T(RN, 0x1.fffffffffffffp+1023,-0x1.ffffffffffffep+1023,                0x1p+971,          0x0p+0, 0)
T(RN, 0x1.fffffffffffffp+1023,                    -inf, 0x1.fffffffffffffp+1023,          0x0p+0, 0)
T(RN,                 -0x0p+0,               0x1p-1074,                 -0x0p+0,          0x0p+0, 0)
T(RN,                 -0x0p+0,                  0x1p+0,                 -0x0p+0,          0x0p+0, 0)
T(RN,                 -0x0p+0,              -0x1p-1074,                 -0x0p+0,          0x0p+0, 0)
T(RN,                 -0x0p+0,                 -0x1p+0,                 -0x0p+0,          0x0p+0, 0)
T(RN,              -0x1p-1074,               0x1p-1072,              -0x1p-1074,          0x0p+0, 0)
T(RN,              -0x1p-1074,                     inf,              -0x1p-1074,          0x0p+0, 0)
T(RN,              -0x1p-1074,              -0x1p-1072,              -0x1p-1074,          0x0p+0, 0)
T(RN,            -0x1.8p-1073,               0x1p-1072,            -0x1.8p-1073,          0x0p+0, 0)
T(RN,            -0x1.8p-1073,              -0x1p-1072,            -0x1.8p-1073,          0x0p+0, 0)
T(RN,              -0x1p-1072,               0x1p-1072,                 -0x0p+0,          0x0p+0, 0)
T(RN,              -0x1p-1072,              -0x1p-1072,                 -0x0p+0,          0x0p+0, 0)
T(RN,-0x1.ffffffffffff8p-1023, 0x1.ffffffffffffcp-1023,-0x1.ffffffffffff8p-1023,          0x0p+0, 0)
T(RN,-0x1.ffffffffffff8p-1023,-0x1.ffffffffffffcp-1023,-0x1.ffffffffffff8p-1023,          0x0p+0, 0)
T(RN,-0x1.ffffffffffffep-1023,             0x1.8p-1073,                 -0x0p+0,          0x0p+0, 0)
T(RN,              -0x1p-1022,             0x1.8p-1073,              -0x1p-1074,          0x0p+0, 0)
T(RN,              -0x1p-1022,            -0x1.8p-1073,              -0x1p-1074,          0x0p+0, 0)
T(RN,-0x1.0000000000002p-1022,             0x1.8p-1073,                 -0x0p+0,          0x0p+0, 0)
T(RN,-0x1.0000000000002p-1022,            -0x1.8p-1073,                 -0x0p+0,          0x0p+0, 0)
T(RN,-0x1.0000000000003p-1022,             0x1.8p-1073,              -0x1p-1074,          0x0p+0, 0)
T(RN,-0x1.0000000000003p-1022,            -0x1.8p-1073,              -0x1p-1074,          0x0p+0, 0)
T(RN,                 -0x1p+0,                  0x1p+1,                 -0x1p+0,          0x0p+0, 0)
T(RN,                 -0x1p+0,                     inf,                 -0x1p+0,          0x0p+0, 0)
T(RN,                 -0x1p+0,                 -0x1p+1,                 -0x1p+0,          0x0p+0, 0)
T(RN,                 -0x1p+0,                    -inf,                 -0x1p+0,          0x0p+0, 0)
T(RN,   -0x1.0000000000001p+0,    0x1.0000000000005p+0,   -0x1.0000000000001p+0,          0x0p+0, 0)
T(RN,   -0x1.0000000000001p+0,   -0x1.0000000000005p+0,   -0x1.0000000000001p+0,          0x0p+0, 0)
T(RN,                 -0x1p+1,                  0x1p+1,                 -0x0p+0,          0x0p+0, 0)
T(RN,                 -0x1p+1,                 -0x1p+1,                 -0x0p+0,          0x0p+0, 0)
T(RN,   -0x1.0000000000001p+1,                  0x1p+2,   -0x1.0000000000001p+1,          0x0p+0, 0)
T(RN,   -0x1.0000000000001p+1,                 -0x1p+2,   -0x1.0000000000001p+1,          0x0p+0, 0)
T(RN,   -0x1.7ffffffffffffp+1,                0x1.8p+1,   -0x1.7ffffffffffffp+1,          0x0p+0, 0)
T(RN,   -0x1.7ffffffffffffp+1,               -0x1.8p+1,   -0x1.7ffffffffffffp+1,          0x0p+0, 0)
T(RN,               -0x1.8p+1,                  0x1p+1,                 -0x1p+0,          0x0p+0, 0)
T(RN,               -0x1.8p+1,                 -0x1p+1,                 -0x1p+0,          0x0p+0, 0)
T(RN,   -0x1.7ffffffffffffp+2,                  0x1p+2,   -0x1.ffffffffffffcp+0,          0x0p+0, 0)
T(RN,   -0x1.7ffffffffffffp+2,                 -0x1p+2,   -0x1.ffffffffffffcp+0,          0x0p+0, 0)
T(RN,-0x1.ffffffffffffep+1022,              0x1.8p+972,                 -0x0p+0,          0x0p+0, 0)
T(RN,-0x1.ffffffffffffep+1022,             -0x1.8p+972,                 -0x0p+0,          0x0p+0, 0)
T(RN,-0x1.fffffffffffffp+1022,               0x1p+1023,-0x1.fffffffffffffp+1022,          0x0p+0, 0)
T(RN,-0x1.fffffffffffffp+1022,              -0x1p+1023,-0x1.fffffffffffffp+1022,          0x0p+0, 0)
T(RN,              -0x1p+1023,              0x1.8p+972,               -0x1p+971,          0x0p+0, 0)
T(RN,              -0x1p+1023,             -0x1.8p+972,               -0x1p+971,          0x0p+0, 0)
T(RN,-0x1.0000000000002p+1023,             0x1.8p-1073,                 -0x0p+0,          0x0p+0, 0)
T(RN,-0x1.0000000000002p+1023,                0x1.8p+1,                 -0x0p+0,          0x0p+0, 0)
T(RN,-0x1.0000000000002p+1023,            -0x1.8p-1073,                 -0x0p+0,          0x0p+0, 0)
T(RN,-0x1.0000000000002p+1023,               -0x1.8p+1,                 -0x0p+0,          0x0p+0, 0)
T(RN,-0x1.0000000000003p+1023,              0x1.8p+972,               -0x1p+971,          0x0p+0, 0)
T(RN,-0x1.0000000000003p+1023,             -0x1.8p+972,               -0x1p+971,          0x0p+0, 0)
T(RN,-0x1.fffffffffffffp+1023,               0x1p-1074,                 -0x0p+0,          0x0p+0, 0)
T(RN,-0x1.fffffffffffffp+1023,                     inf,-0x1.fffffffffffffp+1023,          0x0p+0, 0)
T(RN,-0x1.fffffffffffffp+1023,              -0x1p-1074,                 -0x0p+0,          0x0p+0, 0)
T(RN,-0x1.fffffffffffffp+1023,-0x1.ffffffffffffep+1023,               -0x1p+971,          0x0p+0, 0)
T(RN,                  0x0p+0,                     nan,                     nan,          0x0p+0, 0)
T(RN,               0x1p-1074,                     nan,                     nan,          0x0p+0, 0)
T(RN, 0x1.ffffffffffffep-1023,                     nan,                     nan,          0x0p+0, 0)
T(RN,                  0x1p+0,                     nan,                     nan,          0x0p+0, 0)
T(RN, 0x1.fffffffffffffp+1023,                     nan,                     nan,          0x0p+0, 0)
T(RN,                     nan,               0x1p-1074,                     nan,          0x0p+0, 0)
T(RN,                     nan, 0x1.ffffffffffffep-1023,                     nan,          0x0p+0, 0)
T(RN,                     nan,                  0x1p+0,                     nan,          0x0p+0, 0)
T(RN,                     nan, 0x1.fffffffffffffp+1023,                     nan,          0x0p+0, 0)
T(RN,                     nan,                     inf,                     nan,          0x0p+0, 0)
T(RN,                     nan,                 -0x0p+0,                     nan,          0x0p+0, 0)
T(RN,                     nan,              -0x1p-1074,                     nan,          0x0p+0, 0)
T(RN,                     nan,-0x1.ffffffffffffep-1023,                     nan,          0x0p+0, 0)
T(RN,                     nan,                 -0x1p+0,                     nan,          0x0p+0, 0)
T(RN,                     nan,-0x1.fffffffffffffp+1023,                     nan,          0x0p+0, 0)
T(RN,                     nan,                    -inf,                     nan,          0x0p+0, 0)
T(RN,                 -0x0p+0,                     nan,                     nan,          0x0p+0, 0)
T(RN,              -0x1p-1074,                     nan,                     nan,          0x0p+0, 0)
T(RN,-0x1.ffffffffffffep-1023,                     nan,                     nan,          0x0p+0, 0)
T(RN,                 -0x1p+0,                     nan,                     nan,          0x0p+0, 0)
T(RN,-0x1.fffffffffffffp+1023,                     nan,                     nan,          0x0p+0, 0)
T(RN,                    -inf,                     nan,                     nan,          0x0p+0, 0)
T(RN,                  0x0p+0,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RN,                  0x0p+0,                 -0x0p+0,                     nan,          0x0p+0, INVALID)
T(RN,               0x1p-1074,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RN, 0x1.ffffffffffffep-1023,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RN, 0x1.ffffffffffffep-1023,                 -0x0p+0,                     nan,          0x0p+0, INVALID)
T(RN,    0x1.fffffffffffffp-1,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RN,                  0x1p+0,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RN, 0x1.fffffffffffffp+1023,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RN, 0x1.fffffffffffffp+1023,                 -0x0p+0,                     nan,          0x0p+0, INVALID)
T(RN,                     inf,               0x1p-1074,                     nan,          0x0p+0, INVALID)
T(RN,                     inf, 0x1.ffffffffffffep-1023,                     nan,          0x0p+0, INVALID)
T(RN,                     inf,                  0x1p+0,                     nan,          0x0p+0, INVALID)
T(RN,                     inf, 0x1.fffffffffffffp+1023,                     nan,          0x0p+0, INVALID)
T(RN,                     inf,                     inf,                     nan,          0x0p+0, INVALID)
T(RN,                     inf,                 -0x0p+0,                     nan,          0x0p+0, INVALID)
T(RN,                     inf,-0x1.fffffffffffffp+1023,                     nan,          0x0p+0, INVALID)
T(RN,                 -0x0p+0,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RN,-0x1.ffffffffffffep-1023,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RN,-0x1.ffffffffffffep-1023,                 -0x0p+0,                     nan,          0x0p+0, INVALID)
T(RN,-0x1.fffffffffffffp+1023,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RN,-0x1.fffffffffffffp+1023,                 -0x0p+0,                     nan,          0x0p+0, INVALID)
T(RN,                    -inf, 0x1.fffffffffffffp+1023,                     nan,          0x0p+0, INVALID)
T(RN,                    -inf,                 -0x0p+0,                     nan,          0x0p+0, INVALID)
T(RN,                    -inf,-0x1.fffffffffffffp+1023,                     nan,          0x0p+0, INVALID)
T(RU,                  0x0p+0,               0x1p-1074,                  0x0p+0,          0x0p+0, 0)
T(RU,                  0x0p+0, 0x1.ffffffffffffep-1023,                  0x0p+0,          0x0p+0, 0)
T(RU,                  0x0p+0,                  0x1p-1,                  0x0p+0,          0x0p+0, 0)
T(RU,                  0x0p+0,    0x1.fffffffffffffp-1,                  0x0p+0,          0x0p+0, 0)
T(RU,                  0x0p+0,                  0x1p+0,                  0x0p+0,          0x0p+0, 0)
T(RU,                  0x0p+0,                     inf,                  0x0p+0,          0x0p+0, 0)
T(RU,                  0x0p+0,              -0x1p-1074,                  0x0p+0,          0x0p+0, 0)
T(RU,                  0x0p+0,                 -0x1p+0,                  0x0p+0,          0x0p+0, 0)
T(RU,                  0x0p+0,                    -inf,                  0x0p+0,          0x0p+0, 0)
T(RU,               0x1p-1074,               0x1p-1072,               0x1p-1074,          0x0p+0, 0)
T(RU,               0x1p-1074,                     inf,               0x1p-1074,          0x0p+0, 0)
T(RU,               0x1p-1074,              -0x1p-1072,               0x1p-1074,          0x0p+0, 0)
T(RU,               0x1p-1074,                    -inf,               0x1p-1074,          0x0p+0, 0)
T(RU,               0x1p-1073,               0x1p-1072,               0x1p-1073,          0x0p+0, 0)
T(RU,             0x1.8p-1073,               0x1p-1072,             0x1.8p-1073,          0x0p+0, 0)
T(RU,             0x1.8p-1073,              -0x1p-1072,             0x1.8p-1073,          0x0p+0, 0)
T(RU,               0x1p-1072,               0x1p-1072,                  0x0p+0,          0x0p+0, 0)
T(RU,               0x1p-1072,              -0x1p-1072,                  0x0p+0,          0x0p+0, 0)
T(RU, 0x1.ffffffffffff8p-1023, 0x1.ffffffffffffcp-1023, 0x1.ffffffffffff8p-1023,          0x0p+0, 0)
T(RU, 0x1.ffffffffffff8p-1023,-0x1.ffffffffffffcp-1023, 0x1.ffffffffffff8p-1023,          0x0p+0, 0)
T(RU, 0x1.ffffffffffffep-1023,             0x1.8p-1073,                  0x0p+0,          0x0p+0, 0)
T(RU, 0x1.ffffffffffffep-1023, 0x1.fffffffffffffp-1022, 0x1.ffffffffffffep-1023,          0x0p+0, 0)
T(RU, 0x1.ffffffffffffep-1023,                     inf, 0x1.ffffffffffffep-1023,          0x0p+0, 0)
T(RU, 0x1.ffffffffffffep-1023,            -0x1.8p-1073,                  0x0p+0,          0x0p+0, 0)
T(RU,               0x1p-1022,             0x1.8p-1073,               0x1p-1074,          0x0p+0, 0)
T(RU,               0x1p-1022, 0x1.ffffffffffffcp-1023,               0x1p-1073,          0x0p+0, 0)
T(RU,               0x1p-1022, 0x1.fffffffffffffp-1022,               0x1p-1022,          0x0p+0, 0)
T(RU,               0x1p-1022,            -0x1.8p-1073,               0x1p-1074,          0x0p+0, 0)
T(RU, 0x1.0000000000001p-1022, 0x1.ffffffffffffcp-1023,             0x1.8p-1073,          0x0p+0, 0)
T(RU, 0x1.0000000000002p-1022,             0x1.8p-1073,                  0x0p+0,          0x0p+0, 0)
T(RU, 0x1.0000000000002p-1022,            -0x1.8p-1073,                  0x0p+0,          0x0p+0, 0)
T(RU, 0x1.0000000000003p-1022,             0x1.8p-1073,               0x1p-1074,          0x0p+0, 0)
T(RU, 0x1.0000000000003p-1022, 0x1.0000000000005p-1022, 0x1.0000000000003p-1022,          0x0p+0, 0)
T(RU, 0x1.0000000000003p-1022,            -0x1.8p-1073,               0x1p-1074,          0x0p+0, 0)
T(RU, 0x1.0000000000004p-1022, 0x1.0000000000005p-1022, 0x1.0000000000004p-1022,          0x0p+0, 0)
T(RU, 0x1.0000000000006p-1022, 0x1.0000000000005p-1022,               0x1p-1074,          0x0p+0, 0)
T(RU, 0x1.fffffffffffffp-1022,               0x1p-1021, 0x1.fffffffffffffp-1022,          0x0p+0, 0)
T(RU, 0x1.fffffffffffffp-1014,               0x1p-1014, 0x1.ffffffffffffep-1015,          0x0p+0, 0)
T(RU,                  0x1p-3,                  0x1p-1,                  0x1p-3,          0x0p+0, 0)
T(RU,                  0x1p-2,                  0x1p-1,                  0x1p-2,          0x0p+0, 0)
T(RU,    0x1.0000000000001p-2,                  0x1p-1,    0x1.0000000000001p-2,          0x0p+0, 0)
T(RU,                0x1.8p-2,                  0x1p-1,                0x1.8p-2,          0x0p+0, 0)
T(RU,                0x1.4p-1,                  0x1p-1,                  0x1p-3,          0x0p+0, 0)
T(RU,    0x1.ffffffffffffcp-1,    0x1.ffffffffffffep-1,    0x1.ffffffffffffcp-1,          0x0p+0, 0)
T(RU,    0x1.fffffffffffffp-1,    0x1.fffffffffffffp+0,    0x1.fffffffffffffp-1,          0x0p+0, 0)
T(RU,    0x1.fffffffffffffp-1,                     inf,    0x1.fffffffffffffp-1,          0x0p+0, 0)
T(RU,                  0x1p+0,    0x1.ffffffffffffep-1,                 0x1p-52,          0x0p+0, 0)
T(RU,                  0x1p+0,    0x1.fffffffffffffp+0,                  0x1p+0,          0x0p+0, 0)
T(RU,                  0x1p+0,                  0x1p+1,                  0x1p+0,          0x0p+0, 0)
T(RU,                  0x1p+0,                  0x1p+2,                  0x1p+0,          0x0p+0, 0)
T(RU,                  0x1p+0,                     inf,                  0x1p+0,          0x0p+0, 0)
T(RU,                  0x1p+0,                 -0x1p+1,                  0x1p+0,          0x0p+0, 0)
T(RU,                  0x1p+0,                    -inf,                  0x1p+0,          0x0p+0, 0)
T(RU,    0x1.0000000000001p+0,    0x1.ffffffffffffep-1,                 0x1p-51,          0x0p+0, 0)
T(RU,    0x1.0000000000001p+0,    0x1.0000000000005p+0,    0x1.0000000000001p+0,          0x0p+0, 0)
T(RU,    0x1.0000000000001p+0,                  0x1p+1,    0x1.0000000000001p+0,          0x0p+0, 0)
T(RU,    0x1.0000000000001p+0,   -0x1.0000000000005p+0,    0x1.0000000000001p+0,          0x0p+0, 0)
T(RU,    0x1.0000000000002p+0,    0x1.0000000000005p+0,    0x1.0000000000002p+0,          0x0p+0, 0)
T(RU,    0x1.0000000000003p+0,    0x1.0000000000005p+0,    0x1.0000000000003p+0,          0x0p+0, 0)
T(RU,    0x1.0000000000004p+0,    0x1.0000000000005p+0,    0x1.0000000000004p+0,          0x0p+0, 0)
T(RU,    0x1.0000000000006p+0,    0x1.0000000000005p+0,                 0x1p-52,          0x0p+0, 0)
T(RU,    0x1.fffffffffffffp+0,                  0x1p+1,    0x1.fffffffffffffp+0,          0x0p+0, 0)
T(RU,                  0x1p+1,                  0x1p+1,                  0x0p+0,          0x0p+0, 0)
T(RU,                  0x1p+1,                  0x1p+2,                  0x1p+1,          0x0p+0, 0)
T(RU,                  0x1p+1,                 -0x1p+1,                  0x0p+0,          0x0p+0, 0)
T(RU,    0x1.0000000000001p+1,                  0x1p+2,    0x1.0000000000001p+1,          0x0p+0, 0)
T(RU,    0x1.0000000000001p+1,                 -0x1p+2,    0x1.0000000000001p+1,          0x0p+0, 0)
T(RU,    0x1.0000000000008p+1,                  0x1p+2,    0x1.0000000000008p+1,          0x0p+0, 0)
T(RU,    0x1.7ffffffffffffp+1,                  0x1p+1,    0x1.ffffffffffffcp-1,          0x0p+0, 0)
T(RU,    0x1.7ffffffffffffp+1,                0x1.8p+1,    0x1.7ffffffffffffp+1,          0x0p+0, 0)
T(RU,    0x1.7ffffffffffffp+1,               -0x1.8p+1,    0x1.7ffffffffffffp+1,          0x0p+0, 0)
T(RU,                0x1.8p+1,                  0x1p+1,                  0x1p+0,          0x0p+0, 0)
T(RU,                0x1.8p+1,                  0x1p+2,                0x1.8p+1,          0x0p+0, 0)
T(RU,                0x1.8p+1,                 -0x1p+1,                  0x1p+0,          0x0p+0, 0)
T(RU,                  0x1p+2,                  0x1p+2,                  0x0p+0,          0x0p+0, 0)
T(RU,                0x1.4p+2,                  0x1p+2,                  0x1p+0,          0x0p+0, 0)
T(RU,    0x1.7fffffffffff8p+2,                  0x1p+2,     0x1.fffffffffffep+0,          0x0p+0, 0)
T(RU,    0x1.7ffffffffffffp+2,                  0x1p+2,    0x1.ffffffffffffcp+0,          0x0p+0, 0)
T(RU,    0x1.7ffffffffffffp+2,                 -0x1p+2,    0x1.ffffffffffffcp+0,          0x0p+0, 0)
T(RU,                0x1.8p+2,                  0x1p+2,                  0x1p+1,          0x0p+0, 0)
T(RU,                0x1.cp+2,                  0x1p+2,                0x1.8p+1,          0x0p+0, 0)
T(RU,                  0x1p+3,                  0x1p+2,                  0x0p+0,          0x0p+0, 0)
T(RU,                0x1p+971,                0x1p+973,                0x1p+971,          0x0p+0, 0)
T(RU,               0x1p+1022,               0x1p+1023,               0x1p+1022,          0x0p+0, 0)
T(RU, 0x1.ffffffffffffcp+1022, 0x1.ffffffffffffep+1022, 0x1.ffffffffffffcp+1022,          0x0p+0, 0)
T(RU, 0x1.ffffffffffffep+1022,              0x1.8p+972,                  0x0p+0,          0x0p+0, 0)
T(RU, 0x1.ffffffffffffep+1022,             -0x1.8p+972,                  0x0p+0,          0x0p+0, 0)
T(RU, 0x1.fffffffffffffp+1022,               0x1p+1023, 0x1.fffffffffffffp+1022,          0x0p+0, 0)
T(RU, 0x1.fffffffffffffp+1022, 0x1.fffffffffffffp+1023, 0x1.fffffffffffffp+1022,          0x0p+0, 0)
T(RU, 0x1.fffffffffffffp+1022,              -0x1p+1023, 0x1.fffffffffffffp+1022,          0x0p+0, 0)
T(RU,               0x1p+1023,              0x1.8p+972,                0x1p+971,          0x0p+0, 0)
T(RU,               0x1p+1023, 0x1.ffffffffffffep+1022,                0x1p+971,          0x0p+0, 0)
T(RU,               0x1p+1023, 0x1.fffffffffffffp+1023,               0x1p+1023,          0x0p+0, 0)
T(RU,               0x1p+1023,             -0x1.8p+972,                0x1p+971,          0x0p+0, 0)
T(RU, 0x1.0000000000001p+1023, 0x1.ffffffffffffep+1022,                0x1p+972,          0x0p+0, 0)
T(RU, 0x1.0000000000002p+1023,             0x1.8p-1073,                  0x0p+0,          0x0p+0, 0)
T(RU, 0x1.0000000000002p+1023,                0x1.8p+1,                  0x0p+0,          0x0p+0, 0)
T(RU, 0x1.0000000000002p+1023,            -0x1.8p-1073,                  0x0p+0,          0x0p+0, 0)
T(RU, 0x1.0000000000002p+1023,               -0x1.8p+1,                  0x0p+0,          0x0p+0, 0)
T(RU, 0x1.0000000000003p+1023,              0x1.8p+972,                0x1p+971,          0x0p+0, 0)
T(RU, 0x1.0000000000003p+1023, 0x1.0000000000005p+1023, 0x1.0000000000003p+1023,          0x0p+0, 0)
T(RU, 0x1.0000000000003p+1023,             -0x1.8p+972,                0x1p+971,          0x0p+0, 0)
T(RU, 0x1.0000000000004p+1023, 0x1.0000000000005p+1023, 0x1.0000000000004p+1023,          0x0p+0, 0)
T(RU, 0x1.0000000000006p+1023, 0x1.0000000000005p+1023,                0x1p+971,          0x0p+0, 0)
T(RU, 0x1.fffffffffffffp+1023,               0x1p-1074,                  0x0p+0,          0x0p+0, 0)
T(RU, 0x1.fffffffffffffp+1023,               0x1p-1022,                  0x0p+0,          0x0p+0, 0)
T(RU, 0x1.fffffffffffffp+1023, 0x1.fffffffffffffp-1022,                  0x0p+0,          0x0p+0, 0)
T(RU, 0x1.fffffffffffffp+1023,               0x1p+1023, 0x1.ffffffffffffep+1022,          0x0p+0, 0)
T(RU, 0x1.fffffffffffffp+1023, 0x1.ffffffffffffep+1023,                0x1p+971,          0x0p+0, 0)
T(RU, 0x1.fffffffffffffp+1023,                     inf, 0x1.fffffffffffffp+1023,          0x0p+0, 0)
T(RU, 0x1.fffffffffffffp+1023,              -0x1p-1074,                  0x0p+0,          0x0p+0, 0)
T(RU, 0x1.fffffffffffffp+1023,-0x1.ffffffffffffep+1023,                0x1p+971,          0x0p+0, 0)
T(RU, 0x1.fffffffffffffp+1023,                    -inf, 0x1.fffffffffffffp+1023,          0x0p+0, 0)
T(RU,                 -0x0p+0,               0x1p-1074,                 -0x0p+0,          0x0p+0, 0)
T(RU,                 -0x0p+0,                  0x1p+0,                 -0x0p+0,          0x0p+0, 0)
T(RU,                 -0x0p+0,              -0x1p-1074,                 -0x0p+0,          0x0p+0, 0)
T(RU,                 -0x0p+0,                 -0x1p+0,                 -0x0p+0,          0x0p+0, 0)
T(RU,              -0x1p-1074,               0x1p-1072,              -0x1p-1074,          0x0p+0, 0)
T(RU,              -0x1p-1074,                     inf,              -0x1p-1074,          0x0p+0, 0)
T(RU,              -0x1p-1074,              -0x1p-1072,              -0x1p-1074,          0x0p+0, 0)
T(RU,              -0x1p-1074,                    -inf,              -0x1p-1074,          0x0p+0, 0)
T(RU,            -0x1.8p-1073,               0x1p-1072,            -0x1.8p-1073,          0x0p+0, 0)
T(RU,            -0x1.8p-1073,              -0x1p-1072,            -0x1.8p-1073,          0x0p+0, 0)
T(RU,              -0x1p-1072,               0x1p-1072,                 -0x0p+0,          0x0p+0, 0)
T(RU,              -0x1p-1072,              -0x1p-1072,                 -0x0p+0,          0x0p+0, 0)
T(RU,-0x1.ffffffffffff8p-1023, 0x1.ffffffffffffcp-1023,-0x1.ffffffffffff8p-1023,          0x0p+0, 0)
T(RU,-0x1.ffffffffffff8p-1023,-0x1.ffffffffffffcp-1023,-0x1.ffffffffffff8p-1023,          0x0p+0, 0)
T(RU,-0x1.ffffffffffffep-1023,             0x1.8p-1073,                 -0x0p+0,          0x0p+0, 0)
T(RU,              -0x1p-1022,             0x1.8p-1073,              -0x1p-1074,          0x0p+0, 0)
T(RU,              -0x1p-1022,            -0x1.8p-1073,              -0x1p-1074,          0x0p+0, 0)
T(RU,-0x1.0000000000002p-1022,             0x1.8p-1073,                 -0x0p+0,          0x0p+0, 0)
T(RU,-0x1.0000000000002p-1022,            -0x1.8p-1073,                 -0x0p+0,          0x0p+0, 0)
T(RU,-0x1.0000000000003p-1022,             0x1.8p-1073,              -0x1p-1074,          0x0p+0, 0)
T(RU,-0x1.0000000000003p-1022,            -0x1.8p-1073,              -0x1p-1074,          0x0p+0, 0)
T(RU,                 -0x1p+0,                  0x1p+1,                 -0x1p+0,          0x0p+0, 0)
T(RU,                 -0x1p+0,                     inf,                 -0x1p+0,          0x0p+0, 0)
T(RU,                 -0x1p+0,                 -0x1p+1,                 -0x1p+0,          0x0p+0, 0)
T(RU,                 -0x1p+0,                    -inf,                 -0x1p+0,          0x0p+0, 0)
T(RU,   -0x1.0000000000001p+0,    0x1.0000000000005p+0,   -0x1.0000000000001p+0,          0x0p+0, 0)
T(RU,   -0x1.0000000000001p+0,   -0x1.0000000000005p+0,   -0x1.0000000000001p+0,          0x0p+0, 0)
T(RU,                 -0x1p+1,                  0x1p+1,                 -0x0p+0,          0x0p+0, 0)
T(RU,                 -0x1p+1,                 -0x1p+1,                 -0x0p+0,          0x0p+0, 0)
T(RU,   -0x1.0000000000001p+1,                  0x1p+2,   -0x1.0000000000001p+1,          0x0p+0, 0)
T(RU,   -0x1.0000000000001p+1,                 -0x1p+2,   -0x1.0000000000001p+1,          0x0p+0, 0)
T(RU,   -0x1.7ffffffffffffp+1,                0x1.8p+1,   -0x1.7ffffffffffffp+1,          0x0p+0, 0)
T(RU,   -0x1.7ffffffffffffp+1,               -0x1.8p+1,   -0x1.7ffffffffffffp+1,          0x0p+0, 0)
T(RU,               -0x1.8p+1,                  0x1p+1,                 -0x1p+0,          0x0p+0, 0)
T(RU,               -0x1.8p+1,                 -0x1p+1,                 -0x1p+0,          0x0p+0, 0)
T(RU,   -0x1.7ffffffffffffp+2,                  0x1p+2,   -0x1.ffffffffffffcp+0,          0x0p+0, 0)
T(RU,   -0x1.7ffffffffffffp+2,                 -0x1p+2,   -0x1.ffffffffffffcp+0,          0x0p+0, 0)
T(RU,-0x1.ffffffffffffep+1022,              0x1.8p+972,                 -0x0p+0,          0x0p+0, 0)
T(RU,-0x1.ffffffffffffep+1022,             -0x1.8p+972,                 -0x0p+0,          0x0p+0, 0)
T(RU,-0x1.fffffffffffffp+1022,               0x1p+1023,-0x1.fffffffffffffp+1022,          0x0p+0, 0)
T(RU,-0x1.fffffffffffffp+1022,              -0x1p+1023,-0x1.fffffffffffffp+1022,          0x0p+0, 0)
T(RU,              -0x1p+1023,              0x1.8p+972,               -0x1p+971,          0x0p+0, 0)
T(RU,              -0x1p+1023,             -0x1.8p+972,               -0x1p+971,          0x0p+0, 0)
T(RU,-0x1.0000000000002p+1023,             0x1.8p-1073,                 -0x0p+0,          0x0p+0, 0)
T(RU,-0x1.0000000000002p+1023,                0x1.8p+1,                 -0x0p+0,          0x0p+0, 0)
T(RU,-0x1.0000000000002p+1023,            -0x1.8p-1073,                 -0x0p+0,          0x0p+0, 0)
T(RU,-0x1.0000000000002p+1023,               -0x1.8p+1,                 -0x0p+0,          0x0p+0, 0)
T(RU,-0x1.0000000000003p+1023,              0x1.8p+972,               -0x1p+971,          0x0p+0, 0)
T(RU,-0x1.0000000000003p+1023,             -0x1.8p+972,               -0x1p+971,          0x0p+0, 0)
T(RU,-0x1.fffffffffffffp+1023,               0x1p-1074,                 -0x0p+0,          0x0p+0, 0)
T(RU,-0x1.fffffffffffffp+1023, 0x1.ffffffffffffep+1023,               -0x1p+971,          0x0p+0, 0)
T(RU,-0x1.fffffffffffffp+1023,                     inf,-0x1.fffffffffffffp+1023,          0x0p+0, 0)
T(RU,-0x1.fffffffffffffp+1023,              -0x1p-1074,                 -0x0p+0,          0x0p+0, 0)
#endif
#ifdef UCB_FMOD_PART_2
T(RU,-0x1.fffffffffffffp+1023,-0x1.ffffffffffffep+1023,               -0x1p+971,          0x0p+0, 0)
T(RU,-0x1.fffffffffffffp+1023,                    -inf,-0x1.fffffffffffffp+1023,          0x0p+0, 0)
T(RU,                  0x0p+0,                     nan,                     nan,          0x0p+0, 0)
T(RU,               0x1p-1074,                     nan,                     nan,          0x0p+0, 0)
T(RU, 0x1.ffffffffffffep-1023,                     nan,                     nan,          0x0p+0, 0)
T(RU,                  0x1p+0,                     nan,                     nan,          0x0p+0, 0)
T(RU, 0x1.fffffffffffffp+1023,                     nan,                     nan,          0x0p+0, 0)
T(RU,                     inf,                     nan,                     nan,          0x0p+0, 0)
T(RU,                     nan,                  0x0p+0,                     nan,          0x0p+0, 0)
T(RU,                     nan,               0x1p-1074,                     nan,          0x0p+0, 0)
T(RU,                     nan, 0x1.ffffffffffffep-1023,                     nan,          0x0p+0, 0)
T(RU,                     nan,                  0x1p+0,                     nan,          0x0p+0, 0)
T(RU,                     nan, 0x1.fffffffffffffp+1023,                     nan,          0x0p+0, 0)
T(RU,                     nan,                     inf,                     nan,          0x0p+0, 0)
T(RU,                     nan,                     nan,                     nan,          0x0p+0, 0)
T(RU,                     nan,                 -0x0p+0,                     nan,          0x0p+0, 0)
T(RU,                     nan,              -0x1p-1074,                     nan,          0x0p+0, 0)
T(RU,                     nan,-0x1.ffffffffffffep-1023,                     nan,          0x0p+0, 0)
T(RU,                     nan,                 -0x1p+0,                     nan,          0x0p+0, 0)
T(RU,                     nan,-0x1.fffffffffffffp+1023,                     nan,          0x0p+0, 0)
T(RU,                     nan,                    -inf,                     nan,          0x0p+0, 0)
T(RU,                 -0x0p+0,                     nan,                     nan,          0x0p+0, 0)
T(RU,              -0x1p-1074,                     nan,                     nan,          0x0p+0, 0)
T(RU,-0x1.ffffffffffffep-1023,                     nan,                     nan,          0x0p+0, 0)
T(RU,                 -0x1p+0,                     nan,                     nan,          0x0p+0, 0)
T(RU,-0x1.fffffffffffffp+1023,                     nan,                     nan,          0x0p+0, 0)
T(RU,                    -inf,                     nan,                     nan,          0x0p+0, 0)
T(RU,                  0x0p+0,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RU,                  0x0p+0,                 -0x0p+0,                     nan,          0x0p+0, INVALID)
T(RU,               0x1p-1074,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RU, 0x1.ffffffffffffep-1023,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RU, 0x1.ffffffffffffep-1023,                 -0x0p+0,                     nan,          0x0p+0, INVALID)
T(RU,    0x1.fffffffffffffp-1,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RU,                  0x1p+0,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RU, 0x1.fffffffffffffp+1023,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RU, 0x1.fffffffffffffp+1023,                 -0x0p+0,                     nan,          0x0p+0, INVALID)
T(RU,                     inf,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RU,                     inf,               0x1p-1074,                     nan,          0x0p+0, INVALID)
T(RU,                     inf, 0x1.ffffffffffffep-1023,                     nan,          0x0p+0, INVALID)
T(RU,                     inf,                  0x1p+0,                     nan,          0x0p+0, INVALID)
T(RU,                     inf, 0x1.fffffffffffffp+1023,                     nan,          0x0p+0, INVALID)
T(RU,                     inf,                     inf,                     nan,          0x0p+0, INVALID)
T(RU,                     inf,                 -0x0p+0,                     nan,          0x0p+0, INVALID)
T(RU,                     inf,-0x1.fffffffffffffp+1023,                     nan,          0x0p+0, INVALID)
T(RU,                 -0x0p+0,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RU,                 -0x0p+0,                 -0x0p+0,                     nan,          0x0p+0, INVALID)
T(RU,-0x1.ffffffffffffep-1023,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RU,-0x1.ffffffffffffep-1023,                 -0x0p+0,                     nan,          0x0p+0, INVALID)
T(RU,-0x1.fffffffffffffp+1023,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RU,-0x1.fffffffffffffp+1023,                 -0x0p+0,                     nan,          0x0p+0, INVALID)
T(RU,                    -inf,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RU,                    -inf, 0x1.fffffffffffffp+1023,                     nan,          0x0p+0, INVALID)
T(RU,                    -inf,                 -0x0p+0,                     nan,          0x0p+0, INVALID)
T(RU,                    -inf,-0x1.fffffffffffffp+1023,                     nan,          0x0p+0, INVALID)
T(RZ,                  0x0p+0,               0x1p-1074,                  0x0p+0,          0x0p+0, 0)
T(RZ,                  0x0p+0, 0x1.ffffffffffffep-1023,                  0x0p+0,          0x0p+0, 0)
T(RZ,                  0x0p+0,                  0x1p-1,                  0x0p+0,          0x0p+0, 0)
T(RZ,                  0x0p+0,    0x1.fffffffffffffp-1,                  0x0p+0,          0x0p+0, 0)
T(RZ,                  0x0p+0,                  0x1p+0,                  0x0p+0,          0x0p+0, 0)
T(RZ,                  0x0p+0, 0x1.fffffffffffffp+1023,                  0x0p+0,          0x0p+0, 0)
T(RZ,                  0x0p+0,                     inf,                  0x0p+0,          0x0p+0, 0)
T(RZ,                  0x0p+0,              -0x1p-1074,                  0x0p+0,          0x0p+0, 0)
T(RZ,                  0x0p+0,                 -0x1p+0,                  0x0p+0,          0x0p+0, 0)
T(RZ,                  0x0p+0,                    -inf,                  0x0p+0,          0x0p+0, 0)
T(RZ,               0x1p-1074,               0x1p-1072,               0x1p-1074,          0x0p+0, 0)
T(RZ,               0x1p-1074,                     inf,               0x1p-1074,          0x0p+0, 0)
T(RZ,               0x1p-1074,              -0x1p-1072,               0x1p-1074,          0x0p+0, 0)
T(RZ,               0x1p-1074,                    -inf,               0x1p-1074,          0x0p+0, 0)
T(RZ,               0x1p-1073,               0x1p-1072,               0x1p-1073,          0x0p+0, 0)
T(RZ,             0x1.8p-1073,               0x1p-1072,             0x1.8p-1073,          0x0p+0, 0)
T(RZ,             0x1.8p-1073,              -0x1p-1072,             0x1.8p-1073,          0x0p+0, 0)
T(RZ,               0x1p-1072,               0x1p-1072,                  0x0p+0,          0x0p+0, 0)
T(RZ,               0x1p-1072,              -0x1p-1072,                  0x0p+0,          0x0p+0, 0)
T(RZ, 0x1.ffffffffffff8p-1023, 0x1.ffffffffffffcp-1023, 0x1.ffffffffffff8p-1023,          0x0p+0, 0)
T(RZ, 0x1.ffffffffffff8p-1023,-0x1.ffffffffffffcp-1023, 0x1.ffffffffffff8p-1023,          0x0p+0, 0)
T(RZ, 0x1.ffffffffffffep-1023,             0x1.8p-1073,                  0x0p+0,          0x0p+0, 0)
T(RZ, 0x1.ffffffffffffep-1023, 0x1.fffffffffffffp-1022, 0x1.ffffffffffffep-1023,          0x0p+0, 0)
T(RZ, 0x1.ffffffffffffep-1023,                     inf, 0x1.ffffffffffffep-1023,          0x0p+0, 0)
T(RZ, 0x1.ffffffffffffep-1023,            -0x1.8p-1073,                  0x0p+0,          0x0p+0, 0)
T(RZ,               0x1p-1022,             0x1.8p-1073,               0x1p-1074,          0x0p+0, 0)
T(RZ,               0x1p-1022, 0x1.ffffffffffffcp-1023,               0x1p-1073,          0x0p+0, 0)
T(RZ,               0x1p-1022, 0x1.fffffffffffffp-1022,               0x1p-1022,          0x0p+0, 0)
T(RZ,               0x1p-1022,            -0x1.8p-1073,               0x1p-1074,          0x0p+0, 0)
T(RZ, 0x1.0000000000001p-1022, 0x1.ffffffffffffcp-1023,             0x1.8p-1073,          0x0p+0, 0)
T(RZ, 0x1.0000000000002p-1022,             0x1.8p-1073,                  0x0p+0,          0x0p+0, 0)
T(RZ, 0x1.0000000000002p-1022,            -0x1.8p-1073,                  0x0p+0,          0x0p+0, 0)
T(RZ, 0x1.0000000000003p-1022,             0x1.8p-1073,               0x1p-1074,          0x0p+0, 0)
T(RZ, 0x1.0000000000003p-1022, 0x1.0000000000005p-1022, 0x1.0000000000003p-1022,          0x0p+0, 0)
T(RZ, 0x1.0000000000003p-1022,            -0x1.8p-1073,               0x1p-1074,          0x0p+0, 0)
T(RZ, 0x1.0000000000004p-1022, 0x1.0000000000005p-1022, 0x1.0000000000004p-1022,          0x0p+0, 0)
T(RZ, 0x1.0000000000006p-1022, 0x1.0000000000005p-1022,               0x1p-1074,          0x0p+0, 0)
T(RZ, 0x1.fffffffffffffp-1022,               0x1p-1021, 0x1.fffffffffffffp-1022,          0x0p+0, 0)
T(RZ, 0x1.fffffffffffffp-1014,               0x1p-1014, 0x1.ffffffffffffep-1015,          0x0p+0, 0)
T(RZ,                  0x1p-3,                  0x1p-1,                  0x1p-3,          0x0p+0, 0)
T(RZ,                  0x1p-2,                  0x1p-1,                  0x1p-2,          0x0p+0, 0)
T(RZ,    0x1.0000000000001p-2,                  0x1p-1,    0x1.0000000000001p-2,          0x0p+0, 0)
T(RZ,                0x1.8p-2,                  0x1p-1,                0x1.8p-2,          0x0p+0, 0)
T(RZ,                0x1.4p-1,                  0x1p-1,                  0x1p-3,          0x0p+0, 0)
T(RZ,    0x1.ffffffffffffcp-1,    0x1.ffffffffffffep-1,    0x1.ffffffffffffcp-1,          0x0p+0, 0)
T(RZ,    0x1.fffffffffffffp-1,    0x1.fffffffffffffp+0,    0x1.fffffffffffffp-1,          0x0p+0, 0)
T(RZ,    0x1.fffffffffffffp-1,                     inf,    0x1.fffffffffffffp-1,          0x0p+0, 0)
T(RZ,                  0x1p+0,    0x1.ffffffffffffep-1,                 0x1p-52,          0x0p+0, 0)
T(RZ,                  0x1p+0,    0x1.fffffffffffffp+0,                  0x1p+0,          0x0p+0, 0)
T(RZ,                  0x1p+0,                  0x1p+1,                  0x1p+0,          0x0p+0, 0)
T(RZ,                  0x1p+0,                  0x1p+2,                  0x1p+0,          0x0p+0, 0)
T(RZ,                  0x1p+0,                     inf,                  0x1p+0,          0x0p+0, 0)
T(RZ,                  0x1p+0,                 -0x1p+1,                  0x1p+0,          0x0p+0, 0)
T(RZ,                  0x1p+0,                    -inf,                  0x1p+0,          0x0p+0, 0)
T(RZ,    0x1.0000000000001p+0,    0x1.ffffffffffffep-1,                 0x1p-51,          0x0p+0, 0)
T(RZ,    0x1.0000000000001p+0,    0x1.0000000000005p+0,    0x1.0000000000001p+0,          0x0p+0, 0)
T(RZ,    0x1.0000000000001p+0,                  0x1p+1,    0x1.0000000000001p+0,          0x0p+0, 0)
T(RZ,    0x1.0000000000001p+0,   -0x1.0000000000005p+0,    0x1.0000000000001p+0,          0x0p+0, 0)
T(RZ,    0x1.0000000000002p+0,    0x1.0000000000005p+0,    0x1.0000000000002p+0,          0x0p+0, 0)
T(RZ,    0x1.0000000000003p+0,    0x1.0000000000005p+0,    0x1.0000000000003p+0,          0x0p+0, 0)
T(RZ,    0x1.0000000000004p+0,    0x1.0000000000005p+0,    0x1.0000000000004p+0,          0x0p+0, 0)
T(RZ,    0x1.0000000000006p+0,    0x1.0000000000005p+0,                 0x1p-52,          0x0p+0, 0)
T(RZ,    0x1.fffffffffffffp+0,                  0x1p+1,    0x1.fffffffffffffp+0,          0x0p+0, 0)
T(RZ,                  0x1p+1,                  0x1p+1,                  0x0p+0,          0x0p+0, 0)
T(RZ,                  0x1p+1,                  0x1p+2,                  0x1p+1,          0x0p+0, 0)
T(RZ,                  0x1p+1,                 -0x1p+1,                  0x0p+0,          0x0p+0, 0)
T(RZ,    0x1.0000000000001p+1,                  0x1p+2,    0x1.0000000000001p+1,          0x0p+0, 0)
T(RZ,    0x1.0000000000001p+1,                 -0x1p+2,    0x1.0000000000001p+1,          0x0p+0, 0)
T(RZ,    0x1.0000000000008p+1,                  0x1p+2,    0x1.0000000000008p+1,          0x0p+0, 0)
T(RZ,    0x1.7ffffffffffffp+1,                  0x1p+1,    0x1.ffffffffffffcp-1,          0x0p+0, 0)
T(RZ,    0x1.7ffffffffffffp+1,                0x1.8p+1,    0x1.7ffffffffffffp+1,          0x0p+0, 0)
T(RZ,    0x1.7ffffffffffffp+1,               -0x1.8p+1,    0x1.7ffffffffffffp+1,          0x0p+0, 0)
T(RZ,                0x1.8p+1,                  0x1p+1,                  0x1p+0,          0x0p+0, 0)
T(RZ,                0x1.8p+1,                  0x1p+2,                0x1.8p+1,          0x0p+0, 0)
T(RZ,                0x1.8p+1,                 -0x1p+1,                  0x1p+0,          0x0p+0, 0)
T(RZ,                  0x1p+2,                  0x1p+2,                  0x0p+0,          0x0p+0, 0)
T(RZ,                0x1.4p+2,                  0x1p+2,                  0x1p+0,          0x0p+0, 0)
T(RZ,    0x1.7fffffffffff8p+2,                  0x1p+2,     0x1.fffffffffffep+0,          0x0p+0, 0)
T(RZ,    0x1.7ffffffffffffp+2,                  0x1p+2,    0x1.ffffffffffffcp+0,          0x0p+0, 0)
T(RZ,    0x1.7ffffffffffffp+2,                 -0x1p+2,    0x1.ffffffffffffcp+0,          0x0p+0, 0)
T(RZ,                0x1.8p+2,                  0x1p+2,                  0x1p+1,          0x0p+0, 0)
T(RZ,                0x1.cp+2,                  0x1p+2,                0x1.8p+1,          0x0p+0, 0)
T(RZ,                  0x1p+3,                  0x1p+2,                  0x0p+0,          0x0p+0, 0)
T(RZ,                0x1p+971,                0x1p+973,                0x1p+971,          0x0p+0, 0)
T(RZ,               0x1p+1022,               0x1p+1023,               0x1p+1022,          0x0p+0, 0)
T(RZ, 0x1.ffffffffffffcp+1022, 0x1.ffffffffffffep+1022, 0x1.ffffffffffffcp+1022,          0x0p+0, 0)
T(RZ, 0x1.ffffffffffffep+1022,              0x1.8p+972,                  0x0p+0,          0x0p+0, 0)
T(RZ, 0x1.ffffffffffffep+1022,             -0x1.8p+972,                  0x0p+0,          0x0p+0, 0)
T(RZ, 0x1.fffffffffffffp+1022,               0x1p+1023, 0x1.fffffffffffffp+1022,          0x0p+0, 0)
T(RZ, 0x1.fffffffffffffp+1022, 0x1.fffffffffffffp+1023, 0x1.fffffffffffffp+1022,          0x0p+0, 0)
T(RZ, 0x1.fffffffffffffp+1022,              -0x1p+1023, 0x1.fffffffffffffp+1022,          0x0p+0, 0)
T(RZ,               0x1p+1023,              0x1.8p+972,                0x1p+971,          0x0p+0, 0)
T(RZ,               0x1p+1023, 0x1.ffffffffffffep+1022,                0x1p+971,          0x0p+0, 0)
T(RZ,               0x1p+1023, 0x1.fffffffffffffp+1023,               0x1p+1023,          0x0p+0, 0)
T(RZ,               0x1p+1023,             -0x1.8p+972,                0x1p+971,          0x0p+0, 0)
T(RZ, 0x1.0000000000001p+1023, 0x1.ffffffffffffep+1022,                0x1p+972,          0x0p+0, 0)
T(RZ, 0x1.0000000000002p+1023,             0x1.8p-1073,                  0x0p+0,          0x0p+0, 0)
T(RZ, 0x1.0000000000002p+1023,                0x1.8p+1,                  0x0p+0,          0x0p+0, 0)
T(RZ, 0x1.0000000000002p+1023,            -0x1.8p-1073,                  0x0p+0,          0x0p+0, 0)
T(RZ, 0x1.0000000000002p+1023,               -0x1.8p+1,                  0x0p+0,          0x0p+0, 0)
T(RZ, 0x1.0000000000003p+1023,              0x1.8p+972,                0x1p+971,          0x0p+0, 0)
T(RZ, 0x1.0000000000003p+1023, 0x1.0000000000005p+1023, 0x1.0000000000003p+1023,          0x0p+0, 0)
T(RZ, 0x1.0000000000003p+1023,             -0x1.8p+972,                0x1p+971,          0x0p+0, 0)
T(RZ, 0x1.0000000000004p+1023, 0x1.0000000000005p+1023, 0x1.0000000000004p+1023,          0x0p+0, 0)
T(RZ, 0x1.0000000000006p+1023, 0x1.0000000000005p+1023,                0x1p+971,          0x0p+0, 0)
T(RZ, 0x1.fffffffffffffp+1023,               0x1p-1074,                  0x0p+0,          0x0p+0, 0)
T(RZ, 0x1.fffffffffffffp+1023,               0x1p-1022,                  0x0p+0,          0x0p+0, 0)
T(RZ, 0x1.fffffffffffffp+1023, 0x1.fffffffffffffp-1022,                  0x0p+0,          0x0p+0, 0)
T(RZ, 0x1.fffffffffffffp+1023,               0x1p+1023, 0x1.ffffffffffffep+1022,          0x0p+0, 0)
T(RZ, 0x1.fffffffffffffp+1023, 0x1.ffffffffffffep+1023,                0x1p+971,          0x0p+0, 0)
T(RZ, 0x1.fffffffffffffp+1023,                     inf, 0x1.fffffffffffffp+1023,          0x0p+0, 0)
T(RZ, 0x1.fffffffffffffp+1023,              -0x1p-1074,                  0x0p+0,          0x0p+0, 0)
T(RZ, 0x1.fffffffffffffp+1023,-0x1.ffffffffffffep+1023,                0x1p+971,          0x0p+0, 0)
T(RZ, 0x1.fffffffffffffp+1023,                    -inf, 0x1.fffffffffffffp+1023,          0x0p+0, 0)
T(RZ,                 -0x0p+0,               0x1p-1074,                 -0x0p+0,          0x0p+0, 0)
T(RZ,                 -0x0p+0,                  0x1p+0,                 -0x0p+0,          0x0p+0, 0)
T(RZ,                 -0x0p+0,              -0x1p-1074,                 -0x0p+0,          0x0p+0, 0)
T(RZ,                 -0x0p+0,                 -0x1p+0,                 -0x0p+0,          0x0p+0, 0)
T(RZ,              -0x1p-1074,               0x1p-1072,              -0x1p-1074,          0x0p+0, 0)
T(RZ,              -0x1p-1074,                     inf,              -0x1p-1074,          0x0p+0, 0)
T(RZ,              -0x1p-1074,              -0x1p-1072,              -0x1p-1074,          0x0p+0, 0)
T(RZ,              -0x1p-1074,                    -inf,              -0x1p-1074,          0x0p+0, 0)
T(RZ,            -0x1.8p-1073,               0x1p-1072,            -0x1.8p-1073,          0x0p+0, 0)
T(RZ,            -0x1.8p-1073,              -0x1p-1072,            -0x1.8p-1073,          0x0p+0, 0)
T(RZ,              -0x1p-1072,               0x1p-1072,                 -0x0p+0,          0x0p+0, 0)
T(RZ,              -0x1p-1072,              -0x1p-1072,                 -0x0p+0,          0x0p+0, 0)
T(RZ,-0x1.ffffffffffff8p-1023, 0x1.ffffffffffffcp-1023,-0x1.ffffffffffff8p-1023,          0x0p+0, 0)
T(RZ,-0x1.ffffffffffff8p-1023,-0x1.ffffffffffffcp-1023,-0x1.ffffffffffff8p-1023,          0x0p+0, 0)
T(RZ,-0x1.ffffffffffffep-1023,             0x1.8p-1073,                 -0x0p+0,          0x0p+0, 0)
T(RZ,              -0x1p-1022,             0x1.8p-1073,              -0x1p-1074,          0x0p+0, 0)
T(RZ,              -0x1p-1022,            -0x1.8p-1073,              -0x1p-1074,          0x0p+0, 0)
T(RZ,-0x1.0000000000002p-1022,             0x1.8p-1073,                 -0x0p+0,          0x0p+0, 0)
T(RZ,-0x1.0000000000002p-1022,            -0x1.8p-1073,                 -0x0p+0,          0x0p+0, 0)
T(RZ,-0x1.0000000000003p-1022,             0x1.8p-1073,              -0x1p-1074,          0x0p+0, 0)
T(RZ,-0x1.0000000000003p-1022,            -0x1.8p-1073,              -0x1p-1074,          0x0p+0, 0)
T(RZ,                 -0x1p+0,                  0x1p+1,                 -0x1p+0,          0x0p+0, 0)
T(RZ,                 -0x1p+0,                     inf,                 -0x1p+0,          0x0p+0, 0)
T(RZ,                 -0x1p+0,                 -0x1p+1,                 -0x1p+0,          0x0p+0, 0)
T(RZ,                 -0x1p+0,                    -inf,                 -0x1p+0,          0x0p+0, 0)
T(RZ,   -0x1.0000000000001p+0,    0x1.0000000000005p+0,   -0x1.0000000000001p+0,          0x0p+0, 0)
T(RZ,   -0x1.0000000000001p+0,   -0x1.0000000000005p+0,   -0x1.0000000000001p+0,          0x0p+0, 0)
T(RZ,                 -0x1p+1,                  0x1p+1,                 -0x0p+0,          0x0p+0, 0)
T(RZ,                 -0x1p+1,                 -0x1p+1,                 -0x0p+0,          0x0p+0, 0)
T(RZ,   -0x1.0000000000001p+1,                  0x1p+2,   -0x1.0000000000001p+1,          0x0p+0, 0)
T(RZ,   -0x1.0000000000001p+1,                 -0x1p+2,   -0x1.0000000000001p+1,          0x0p+0, 0)
T(RZ,   -0x1.7ffffffffffffp+1,                0x1.8p+1,   -0x1.7ffffffffffffp+1,          0x0p+0, 0)
T(RZ,   -0x1.7ffffffffffffp+1,               -0x1.8p+1,   -0x1.7ffffffffffffp+1,          0x0p+0, 0)
T(RZ,               -0x1.8p+1,                  0x1p+1,                 -0x1p+0,          0x0p+0, 0)
T(RZ,               -0x1.8p+1,                 -0x1p+1,                 -0x1p+0,          0x0p+0, 0)
T(RZ,   -0x1.7ffffffffffffp+2,                  0x1p+2,   -0x1.ffffffffffffcp+0,          0x0p+0, 0)
T(RZ,   -0x1.7ffffffffffffp+2,                 -0x1p+2,   -0x1.ffffffffffffcp+0,          0x0p+0, 0)
T(RZ,-0x1.ffffffffffffep+1022,              0x1.8p+972,                 -0x0p+0,          0x0p+0, 0)
T(RZ,-0x1.ffffffffffffep+1022,             -0x1.8p+972,                 -0x0p+0,          0x0p+0, 0)
T(RZ,-0x1.fffffffffffffp+1022,               0x1p+1023,-0x1.fffffffffffffp+1022,          0x0p+0, 0)
T(RZ,-0x1.fffffffffffffp+1022,              -0x1p+1023,-0x1.fffffffffffffp+1022,          0x0p+0, 0)
T(RZ,              -0x1p+1023,              0x1.8p+972,               -0x1p+971,          0x0p+0, 0)
T(RZ,              -0x1p+1023,             -0x1.8p+972,               -0x1p+971,          0x0p+0, 0)
T(RZ,-0x1.0000000000002p+1023,             0x1.8p-1073,                 -0x0p+0,          0x0p+0, 0)
T(RZ,-0x1.0000000000002p+1023,                0x1.8p+1,                 -0x0p+0,          0x0p+0, 0)
T(RZ,-0x1.0000000000002p+1023,            -0x1.8p-1073,                 -0x0p+0,          0x0p+0, 0)
T(RZ,-0x1.0000000000002p+1023,               -0x1.8p+1,                 -0x0p+0,          0x0p+0, 0)
T(RZ,-0x1.0000000000003p+1023,              0x1.8p+972,               -0x1p+971,          0x0p+0, 0)
T(RZ,-0x1.0000000000003p+1023,             -0x1.8p+972,               -0x1p+971,          0x0p+0, 0)
T(RZ,-0x1.fffffffffffffp+1023,               0x1p-1074,                 -0x0p+0,          0x0p+0, 0)
T(RZ,-0x1.fffffffffffffp+1023, 0x1.ffffffffffffep+1023,               -0x1p+971,          0x0p+0, 0)
T(RZ,-0x1.fffffffffffffp+1023,                     inf,-0x1.fffffffffffffp+1023,          0x0p+0, 0)
T(RZ,-0x1.fffffffffffffp+1023,              -0x1p-1074,                 -0x0p+0,          0x0p+0, 0)
T(RZ,-0x1.fffffffffffffp+1023,-0x1.ffffffffffffep+1023,               -0x1p+971,          0x0p+0, 0)
T(RZ,-0x1.fffffffffffffp+1023,                    -inf,-0x1.fffffffffffffp+1023,          0x0p+0, 0)
T(RZ,                  0x0p+0,                     nan,                     nan,          0x0p+0, 0)
T(RZ,               0x1p-1074,                     nan,                     nan,          0x0p+0, 0)
T(RZ, 0x1.ffffffffffffep-1023,                     nan,                     nan,          0x0p+0, 0)
T(RZ,                  0x1p+0,                     nan,                     nan,          0x0p+0, 0)
T(RZ, 0x1.fffffffffffffp+1023,                     nan,                     nan,          0x0p+0, 0)
T(RZ,                     inf,                     nan,                     nan,          0x0p+0, 0)
T(RZ,                     nan,                  0x0p+0,                     nan,          0x0p+0, 0)
T(RZ,                     nan,               0x1p-1074,                     nan,          0x0p+0, 0)
T(RZ,                     nan, 0x1.ffffffffffffep-1023,                     nan,          0x0p+0, 0)
T(RZ,                     nan,                  0x1p+0,                     nan,          0x0p+0, 0)
T(RZ,                     nan, 0x1.fffffffffffffp+1023,                     nan,          0x0p+0, 0)
T(RZ,                     nan,                     inf,                     nan,          0x0p+0, 0)
T(RZ,                     nan,                     nan,                     nan,          0x0p+0, 0)
T(RZ,                     nan,                 -0x0p+0,                     nan,          0x0p+0, 0)
T(RZ,                     nan,              -0x1p-1074,                     nan,          0x0p+0, 0)
T(RZ,                     nan,-0x1.ffffffffffffep-1023,                     nan,          0x0p+0, 0)
T(RZ,                     nan,                 -0x1p+0,                     nan,          0x0p+0, 0)
T(RZ,                     nan,-0x1.fffffffffffffp+1023,                     nan,          0x0p+0, 0)
T(RZ,                     nan,                    -inf,                     nan,          0x0p+0, 0)
T(RZ,                 -0x0p+0,                     nan,                     nan,          0x0p+0, 0)
T(RZ,              -0x1p-1074,                     nan,                     nan,          0x0p+0, 0)
T(RZ,-0x1.ffffffffffffep-1023,                     nan,                     nan,          0x0p+0, 0)
T(RZ,                 -0x1p+0,                     nan,                     nan,          0x0p+0, 0)
T(RZ,-0x1.fffffffffffffp+1023,                     nan,                     nan,          0x0p+0, 0)
T(RZ,                    -inf,                     nan,                     nan,          0x0p+0, 0)
T(RZ,                  0x0p+0,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RZ,                  0x0p+0,                 -0x0p+0,                     nan,          0x0p+0, INVALID)
T(RZ,               0x1p-1074,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RZ, 0x1.ffffffffffffep-1023,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RZ, 0x1.ffffffffffffep-1023,                 -0x0p+0,                     nan,          0x0p+0, INVALID)
T(RZ,    0x1.fffffffffffffp-1,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RZ,                  0x1p+0,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RZ, 0x1.fffffffffffffp+1023,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RZ, 0x1.fffffffffffffp+1023,                 -0x0p+0,                     nan,          0x0p+0, INVALID)
T(RZ,                     inf,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RZ,                     inf,               0x1p-1074,                     nan,          0x0p+0, INVALID)
T(RZ,                     inf, 0x1.ffffffffffffep-1023,                     nan,          0x0p+0, INVALID)
T(RZ,                     inf,                  0x1p+0,                     nan,          0x0p+0, INVALID)
T(RZ,                     inf, 0x1.fffffffffffffp+1023,                     nan,          0x0p+0, INVALID)
T(RZ,                     inf,                     inf,                     nan,          0x0p+0, INVALID)
T(RZ,                     inf,                 -0x0p+0,                     nan,          0x0p+0, INVALID)
T(RZ,                     inf,-0x1.fffffffffffffp+1023,                     nan,          0x0p+0, INVALID)
T(RZ,                 -0x0p+0,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RZ,                 -0x0p+0,                 -0x0p+0,                     nan,          0x0p+0, INVALID)
T(RZ,-0x1.ffffffffffffep-1023,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RZ,-0x1.ffffffffffffep-1023,                 -0x0p+0,                     nan,          0x0p+0, INVALID)
T(RZ,-0x1.fffffffffffffp+1023,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RZ,-0x1.fffffffffffffp+1023,                 -0x0p+0,                     nan,          0x0p+0, INVALID)
T(RZ,                    -inf,                  0x0p+0,                     nan,          0x0p+0, INVALID)
T(RZ,                    -inf, 0x1.fffffffffffffp+1023,                     nan,          0x0p+0, INVALID)
T(RZ,                    -inf,                 -0x0p+0,                     nan,          0x0p+0, INVALID)
T(RZ,                    -inf,-0x1.fffffffffffffp+1023,                     nan,          0x0p+0, INVALID)
#endif
